Die endliche oder abzählbare Menge von Basissymbolen, aus denen wohlgeformte Ausdrücke einer formalen Sprache gebildet werden.

Prinzip

Ein Alphabet liefert die primitiven Token und bestimmt, welche Zeichenfolgen gemäß den Formationsregeln zu syntaktischen Objekten geparst werden können; es ist die syntaktische Grundlage, getrennt von Semantik oder Grammatikregeln, die über diese Token operieren.

Demonstration

In der Aussagenlogik kann ein Alphabet {p, q, r, ¬, ∧, ∨, (, )} sein; in einer Prädikatenlogik-Signatur umfasst das Alphabet Prädikat- und Funktionssymbole, Variablen, Klammern und logische Junktoren.

Fehlanwendung

Semantische Werte, Typen oder Metavariablen als Teil des Alphabets zu behandeln (z. B. Wahrheitswerte mit Symbol-Token gleichzusetzen) vermischt fälschlich Objekt-Ebene-Syntax und Interpretation.

Konsequenz

Mit einem festen Alphabet lassen sich wohlgeformte Formeln, Tokenisierung und Parsing definieren; Algorithmen zur syntaktischen Verarbeitung (Tokenizer, Parser, endliche Automaten) hängen direkt von Größe und Eigenschaften des Alphabets ab.

Umkehrung

Statt von einer primitiven Symbolsammlung auszugehen, sich Ausdrücke ausschließlich aus semantischen Objekten herleiten zu lassen und erst dann symbolische Namen zuzuweisen kehrt die übliche syntaktische Perspektive um und entspricht dem Arbeiten auf semantischer Modell-Ebene.

Abgrenzung

Das Alphabet schließt Metasprache-Zeichen, semantische Interpretationen und kontextabhängiges Layout aus; es ist typischerweise endlich oder abzählbar und umfasst keine beliebig strukturierten Teil-Ausdrücke oder Bedeutungen.

Semantische Spannung

Alphabet vs Vokabular/Signatur: Alphabet betont rohe Symbole und Tokenklassen, während eine Signatur beschriftete Funktions- und Prädikatsymbole mit Aritäten und erwarteten Rollen hervorhebt.

Synthese

Ein Alphabet ist das minimale Inventar an Symbol-Token, aus dem die Syntax einer formalen Sprache aufgebaut wird; es bildet die Grundlage für Parsing und syntaktische Analyse, getrennt von Grammatik und Semantik.