Zusammenfassung
Wenn wir uns für kontextfreie Grammatiken als Regelsysteme für Programmiersprachen entscheiden, haben wir Regelsysteme, die mächtig genug sind, um moderne Programmiersprachen (zumindest bis auf Details von untergeordneter Bedeutung) beschreiben zu können. Die besten von uns behandelten Algorithmen für das Wort-und das Syntaxanalyseproblem haben kubische Laufzeit und sind daher für praktische Zwecke zu langsam. Ein Algorithmus von Valiant (1975) kommt mit Zeit O(nlog7) = O(n2.81) aus, ist aber aus praktischer Sicht kaum eine Verbesserung. Der praktisch beste Algorithmus geht auf Earley (1970) zurück. Zwar kann seine Rechenzeit allgemein nur durch O(n3) abgeschätzt werden, für eindeutige kontextfreie Grammatiken sinkt die Rechenzeit jedoch auf O(n2). Für viele Grammatiken ist die Rechenzeit sogar linear. Dennoch sind wir an Grammatikklassen interessiert, die einerseits noch die modernen Programmiersprachen beschreiben können, andererseits aber stets Linearzeitalgorithmen für das Wort- und das Syntaxanalyseproblem ermöglichen. Dies wird die Klasse der deterministisch kontextfreien Grammatiken sein. Bisher haben wir nur Rechner, Maschinen und Automaten als deterministisch oder nichtdeterministisch klassifiziert und nicht Grammatiken. Es fällt uns zu diesem Zeitpunkt auch schwer, uns vorzustellen, wann wir eine kontextfreie Grammatik oder Sprache deterministisch nennen können. Einfacher ist dies für Kellerautomaten. Deterministische Kellerautomaten (DPDAs) „sind“ deterministische Algorithmen für das Wortproblem für die von ihnen akzeptierten Sprachen, und die Rechenzeit auf der Eingabe ω ist „bis auf die ε-Schritte“ linear.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 B. G.Teubner Verlag / GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
Wegener, I. (2005). Deterministisch kontextfreie Sprachen. In: Theoretische Informatik. Leitfäden der Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-82204-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-322-82204-8_8
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-8351-0033-6
Online ISBN: 978-3-322-82204-8
eBook Packages: Computer Science and Engineering (German Language)