Alphabet (Informatik)

Für andere Bedeutungen von „Alphabet“ siehe Alphabet (Begriffsklärung).


Ein Alphabet (sächlich, griechisch αλφάβητο, alfáwito - sinngemäß das ABC) bezeichnet (nach DIN 44300) in der theoretischen Informatik eine total geordnete endliche Menge von unterscheidbaren Symbolen (Zeichen). Für Alphabete wird häufig Σ als Formelzeichen verwendet.

Man kann sich ein Alphabet wie ein normales Alphabet vorstellen, beispielsweise das Alphabet der lateinischen Buchstaben. In der Informatik kommen jedoch häufig auch Alphabete vor, deren Zeichen bereits aus mehreren Buchstaben bestehen, beispielsweise: Σ = {oma, mutter, tochter}. Hier ist dann die Arbitrarität der Symbole besonders wichtig: welches Zeichen für die Elemente des Alphabets verwendet werden ist belanglos, solange sie voneinander unterscheidbar sind.

Die Kleenesche Hülle Σ* des Alphabets bezeichnet die Menge aller Wörter über dem Alphabet Σ. Alphabete bilden somit die Grundlage für formale Sprachen, deren Zeicheninventar für Wörter sie zur Verfügung stellen. Entscheidbare Sprachen lassen sich durch formale Grammatiken darstellen, bei denen zwischen terminalen und nicht-terminalen (auch: non-terminalen) Symbolen unterschieden wird. Non-Terminale dürfen dabei nicht in Wörtern der Sprache vorkommen, sondern müssen zunächst durch Regeln der Grammatik gegen andere (terminale) Symbole ersetzt werden.


Beispiele

See also: Alphabet (Informatik), ABC, Alphabet (Begriffsklärung), Arbitrarität, Buchstabe, Dezimalzahl, Endliche und unendliche Menge, Entscheidbarkeit, Formale Grammatik, Formale Sprache