Eine Werkbank für Syntaxanalyse

Eine Diplomarbeit von Michael Stache (2000)

Das Untersuchen des Programmtextes selbst kann weitgehend automatisiert werden, wenn man einen der vielen Parsergeneratoren benutzt, die aus der syntaktischen Beschreibung einer Sprache Programme erzeugen können, die Programmtexte auf Syntaxfehler untersuchen. Dazu muß die syntaktische Beschreibung harten Anforderungen genügen (wie LARLR(1) oder SLL(1)), was die vorgegebene Beschreibung einer Sprache leider meistens nicht tut. Zur Entwicklung der Syntaxanalyse sind deshalb meistens einige Schritte zu tun:

• Ausgangspunkt ist die Referenzsyntax der Sprache, die in der Sprachdefinition gegeben ist. Meist ist wird schon präzise mit einer kontextfreie Grammatik (oder mit Syntaxdiagrammen) angegeben.
• Aus der Referenzsyntax muß eine konkrete Syntax entwickelt werden, die von einem Parsergenertor akzeptiert werden kann. Dazu wird die Referenzsyntax verändert, ohne die damit beschriebene Sprache selbst zu ändern (durch spracherhaltende Transformationen wie Faktorisierung).
• Aus der konkreten muß die abstrakte Syntax entwickelt werden. Das geschieht durch Vereinfachung der Referenzsyntax, indem semantisch gleichbedeutende Schreibweisen zu einer zusammengefaßt werden. (diese Transformationen erhalten in der Regel nicht die Sprache!)
• schließlich muß für jede Regel der konkreten Syntax angegeben werden, wie der ihr entsprechende Baum der abstrakten Syntax aufgebaut werden muß.

Aufgabe

• die Referenzsyntax einer Sprache editiert werden kann,
• die Referenzsyntax in eine konkrete Syntax transformiert werden kann,
• die Referenzsyntax in eine abstrakte Syntax transformiert werden kann, so daß
• Aktionen zum Aufbau abstrakter Bäume für die Implementierungssyntax automatisch erzeugt werden.

Literatur