LR-Syntaxanalyse mit expliziter Konfliktmarkierung
- Für die Spezifikation von Programmiersprachen verwendete Grammatiken erfüllen häufig nicht die LR(k)-Eigenschaft. In dieser Arbeit wird daher eine Erweiterung des LR(k)-Verfahrens vorgeschlagen, die dieses Problem durch die Markierung von konfliktbehafteten Teilen der Eingabe und spätere Reduktion an diesen Stellen in vielen Fällen lösen kann. Die Zeit- und Platzkomplexität des LR(k)-Parsers wird dabei beibehalten und die Parametrisierung des Parsers erfolgt ähnlich zu LR(k) mit Tabellen. Neben der Untersuchung von theoretischen Eigenschaften des definierten Parsers liegt der Schwerpunkt auf der algorithmischen Erzeugung der benötigten Tabellen. Abschließend werden die implementierten Algorithmen experimentell untersucht.
Author: | Sören KöppingGND |
---|---|
URN: | urn:nbn:de:hbz:294-36800 |
Subtitle (German): | theoretische und experimentelle Ansätze |
Referee: | Eberhard BertschGND |
Document Type: | Doctoral Thesis |
Language: | German |
Date of Publication (online): | 2013/03/12 |
Date of first Publication: | 2013/03/12 |
Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
Granting Institution: | Ruhr-Universität Bochum, Fakultät für Mathematik |
Date of final exam: | 2013/01/25 |
Creating Corporation: | Fakultät für Mathematik |
GND-Keyword: | LRK-Parser; Syntaktische Analyse; Kontextfreie Grammatik; Jacc; Worst-Case-Laufzeit |
Institutes/Facilities: | Lehrstuhl für Angewandte Informatik |
Dewey Decimal Classification: | Naturwissenschaften und Mathematik / Mathematik |
faculties: | Fakultät für Mathematik |
Licence (German): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |