Alphabet (Mathematik)

aus Wikipedia, der freien Enzyklopädie

Unter einem Alphabet A versteht man eine nichtleere Menge von Zeichen bzw. Symbolen. Alphabete sind ein zentraler Begriff der theoretischen Informatik und sind die Grundbausteine von Wörtern, die wiederum die Bausteine von Sprachen bilden. Der zentraler Bestandteil einer Logik ist deren zugrundeliegende Sprache. Das Alphabet dieser Sprache gibt dann die Menge der zulässigen Zeichen an, die benutzt werden dürfen, um die Formeln und Terme dieser Logik aufzubauen. Endliche lineare Reihen von Zeichen eines Alphabets heißen Zeichenreihen oder Wörter über A. Die Menge der Wörter wird mit A^* bezeichnet. Auch die Zeichenreihe, die keine Symbole enthält, ist ein Wort - das leere Wort. Es wird mit bezeichnet.

[Bearbeiten] Das Alphabet einer Prädikatenlogik erster Stufe

Das Alphabet einer Prädikatenlogik erster Stufe umfasst die folgenden Zeichen:

1. (Variablen)
2. (Negation (nicht), Konjunktion (und), Disjunktion (oder), Implikation (wenn - dann), Äquivalenz (genau dann wenn))
3. (universaler und existenzieller Quantor)
4. (Gleichheitszeichen)
5. ),(,, (Klammersymbole und Komma)
6. des weiteren
   1. für jedes n 0 eine (eventuell leere) Menge von n-stelligen Relationssymbolen
   2. für jedes n 0 eine (eventuell leere) Menge von n-stelligen Funktionssymbolen

Sei A die Menge der in (1) bis (5) aufgelisteten Symbole und S die Symbole aus (6). Dann bezeichne A_S die Vereinigung von A und S. Man nennt A_S das Alphabet der Prädikatenlogik erster Stufe und S seine Symbolmenge. Um das Alphabet einer Prädikatenlogik erster Stufe anzugeben, ist es ausreichend seine Symbolmenge anzugeben, da die Menge A bei allen Alphabeten für Prädikatenlogiken erster Stufe die selbe ist.

Manchmal verzichtet man in einem Alphabet auf das Gleichheitszeichen. In diesem Fall muss die Symbolmenge zumindest ein Relationssymbol enthalten, da ansonsten keine Formeln gebildet werden können.

[Bearbeiten] Beispiel

Die wichtigste Prädikatenlogik erster Stufe, die Sprache der Mengenlehre, enthält nur ein einziges Zeichen in der Symbolmenge ihres Alphabets, nämlich das zweistellige Relationssymbol (siehe Menge(Mathematik)).