Ein Wort über Σ\SigmaΣ ist eine endliche Folge von Symbolen aus Σ\SigmaΣ.
Die Menge aller Wörter über Σ\SigmaΣ heißt Σ∗\Sigma^*Σ∗. Das leere Wort ist ε\varepsilonε.