Detailinformation

( Fenster schließen )

	Diplomarbeit
Titel	LR(k) - RRP - Syntaxanalyse
Autor	Faustmann,Friedrich
Erscheinungsjahr	1979
Abstract	Die tabellengesteuerte LR(k) - Syntaxanalyse wurde bisher hauptsächlich für kontextfreie Sprachen durchgeführt, während Syntaxdiagramme oder endliche Automaten als rechte Produktionsseiten "erweiterter" kontextfreier Grammatiken primär zur Methode des rekursiven Abstiegs verwendet wurden. La Londe hat in den Arbeiten (14), (15), (16) und (17) die Klasse der RRP - Grammatiken eingeführt, deren rechte Produktionsseiten endliche Automaten oder in solche umwandelbar sind. Außerdem gab er eine Klasse von sogenannten LR(k) - RRP - Analysatoren an, die das rechte Ansatzende durch Vorausschau von höchstens k Symbolen nach dem rechten Ansatzende und das linke Ende nach der Bestimmung des rechten Endes durch Rückschau von höchstens einem Symbol nach dem linken Ansatzende bestimmen. Kontextfreie LR(k) Analysatoren stellen einen Spezialfall dieses Analysators dar. Die Aufgabe der vorliegenden Arbeit war, die in (17) nur grob angedeuteten Definitionen, Sätze und Algorithmen zu vervollständigen und, mit Beweisen versehen, darzustellen, um eine zusammenhängende Theorie der LR(k) - RRP - Grammatiken zu erhalten. Als Richtschnur dafür wurden die Kapitel über deterministische, aufsteigend arbeitende Analysatoren aus AHO/Uhlman (1) verwendet, mit denen man zum Verständnis der Arbeit vertraut sein sollte. Außerdem geben wir Optimierungstechniken für unsere RRP - Analysetabellen an, skizzieren Verallgemeinerungsmöglichkeiten des SLR(k)- und LALR(k)-Konzepts für RRP - Grammatiken, gehen auf das Zeit- und Speicherverhalten unseres Analysators durch Vergleiche mit dem kontextfreien LR(k) - Analysator derselben Klasse ein und beschäftigen uns kurz mit dem Einbau von semantischen Aktionen. Wir ebnen mit unserer Arbeit den Weg zur praktischen Implementierung von Analysatoren, die RRP - Grammatiken zur Sprachbeschreibung verwenden.
Status	Verfügbar

( Fenster schließen )