Der erkennende Automat als Parser
Zeichenfolgen, die korrekt gebildet werden, können durch den Einsatz von erkennenden Automaten von nicht korrekt gebildeten Zeichenketten unterschieden werden. Man nutzt sie deshalb zur Überprüfung von Zeichenketten . Ein Beispiel dafür ist der Parser. Der Parser (to parse = zerlegen) ist ein Modul des Compilers und überprüft die korrekte Einhaltung der syntaktischen Regeln bei der Bildung von Zeichenketten . Anschließend wird zum Beispiel für ein PASCAL-Programm der Maschinencode erzeugt.
Der enge Zusammenhang zwischen erkennenden Automaten und Zeichenketten wird durch die folgenden üblichen Bezeichnungen unterstrichen:
Das Alphabet ist die Eingabemenge des Akzeptors (=endlicher Automaten ohne Ausgabe). In PASCAL besteht das Alphabet aus allen Zeichen des Typs CHAR. Ein Wort über dem Alphabet ist eine endliche Zeichenfolge aus Zeichen des Alphabets. Im PASCAL besteht diese Zeichenfolge aus max. 255 Zeichen. Akzeptierte Worte sind Worte, die den Akzeptor vom Zustand start in den Zustand korrekt überführen. Die Sprache des Akzeptors ist die Menge aller korrekten Bezeichner.Aus dem entsprechenden Zustandsgraphen lässt sich relativ einfach ein Turbo-Pascal-Programm gewinnen !
[ Startseite ]