|
|
Endlich bedeutet hierbei, dass dieses Alphabet nur endlich viele (und nicht unendliche viele) Symbole enthält. Man kann sich ein Alphabet also wie ein normales Alphabet vorstellen, beispielsweise das Alphabet der deutschen Sprache.
Ein Wort über einem Alphabet ist dann eine Folge von Symbolen aus diesem Alphabet und endlich bedeutet hier, dass diese Folge abbricht, es also nur endlich viele (und nicht unendliche viele) Glieder in dieser Folge gibt. Anschaulich kann man sich ein Wort also wie ein normales geschriebenes Wort vorstellen. Es gibt dabei einen Spezialfall, das so genannte leere Wort, bei dem die Folge der Symbole die Länge 0 besitzt. Dieses wird meist durch symbolisiert.
Man kann solche Wörter verketten, d. h. in beliebiger Reihenfolge hintereinander schreiben und so neue Wörter bilden. Das leere Wort ist dabei das neutrale Element bezüglich der Verkettung, d. h. die Verkettung eines Wortes mit dem leeren Wort ist das Wort selbst.
, also eine Menge solcher Wörter über dem Alphabet, wird als formale Sprache bezeichnet (hierbei: ).