Syntaxanalyse von Programmen

Zusammenfassung

In diesem Kapitel wollen wir ein allgemeines Verfahren kennenlernen, mit dem wir für einen Text überprüfen können, ob dieser ein korrekt geformtes Programm in einer gegebenen Programmiersprache darstellt. Dieser Text ist die Ausgabe der lexikalischen Analyse, in der ein Transducer gewisse Teile des Programms durch Token ersetzt hat. Wir können diese Token als Symbole des Alphabets betrachten, über dem dieser Text geschrieben ist. Das Verfahren nennen wir syntaktische Analyse oder kurz Syntaxanalyse. Als Startpunkt für die syntaktische Analyse benötigen wir zunächst eine exakte Beschreibung der Programmiersprache. Dies können wir durch eine kontextfreie Grammatik erreichen, wie wir es für eine kleine vereinfachte Programmiersprache in Beispiel 9.8 beschrieben haben. Die Menge aller korrekt geformten Programme in dieser Programmiersprache entspricht dann genau der Menge aller in der Grammatik ableitbaren Wörter. Um zu entscheiden, ob ein gegebener Text ein syntaktisch korrektes Programm ist, müssen wir also nur herausfinden, ob dieser Text von der Grammatik erzeugt werden kann.