Length of a word over an alphabet
ID: length-of-a-word-over-an-alphabet
The length of a word over an alphabet is the number of symbol positions in that finite string, counting repetitions. Thus and for the empty word. Concatenation satisfies . This differs from the word length of a group element, which minimizes over representing words using a chosen generating set of a group.
New to topics? Read the docs here!