Ein Wort über dem Alphabet A {\displaystyle {}A} ist eine beliebige endliche Zeichenkette, wobei sämtliche Einzelzeichen zu A {\displaystyle {}A} gehören.