Es sei A {\displaystyle {}A} eine Menge von Symbolen. Dann nennt man jede endliche Zeichenreihe, die man mit den Elementen aus A {\displaystyle {}A} aufstellen kann, ein Wort über dem Alphabet A {\displaystyle {}A} .