Syntaktische Fehlerkorrektur mit minimalen Kosten für deterministische Grammatiken
- Bei deterministischen kontextfreien Grammatiken können Syntaxfehler durch Einfügungen und Löschungen von Symbolen an der Fehlerstelle korrigiert werden. Zur Berechnung der Fehlerkorrektur verwenden wir einen nichtdeterministischen Kellerautomaten. Betrachten wir die Möglichkeiten zur Berechnung einer Fehlerkorrektur, so erhalten wir einen baumartigen Suchraum. Da dieser bei einigen Fehlern sehr groß werden kann, versuchen wir, Zweige abzuschneiden. Dazu stellen wir einen modifizierten nichtdeterministischen Kellerautomaten vor. Wir beweisen die Existenz minimaler Fehlerkorrekturen für LR(1)-, LALR(1)- und sLR(1)-Grammatiken. Die Auswirkungen der Modifikationen am nichtdeterministischen Kellerautomaten und die Diskussion einer effizienten Implementierung am Beispiel von fehlerhaften Pascal- und Java-Programmen bilden den Schlussabschnitt.
Author: | Ralf MayGND |
---|---|
URN: | urn:nbn:de:hbz:294-5440 |
Referee: | Eberhard BertschGND, Hans Ulrich SimonORCiDGND |
Document Type: | Doctoral Thesis |
Language: | German |
Date of Publication (online): | 2003/03/18 |
Date of first Publication: | 2003/03/18 |
Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
Granting Institution: | Ruhr-Universität Bochum, Fakultät für Mathematik |
Date of final exam: | 2002/06/07 |
Creating Corporation: | Fakultät für Mathematik |
GND-Keyword: | Abstrakter Compiler; Syntaktische Analyse; Wiederherstellung (Informatik); Kellerautomat; LRk-Parser |
Institutes/Facilities: | Lehrstuhl für Praktische 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 |