Zusammenfassung
Wir haben im letzten Kapitel gesehen, dass bereits sehr einfache Sprachen wie L = {anbn∣n ≥ 0} nicht regulär sind. Das mag nicht überraschend sein, da wir mit begrenztem Speicher nicht das Wortproblem für diese Sprache entscheiden können. Dennoch steht wohl außer Frage, dass es sich bei L um keine komplizierte Sprache handelt. Wir können problemlos einen Algorithmus angeben, der das Wortproblem für L löst. Dafür müssen wir nur alle as am Anfang zusammenzählen und dann kontrollieren, ob nur bs folgen, und zwar genauso viele, wie wir as gezählt hatten. Diesen Algorithmus kann man nicht durch einen endlichen Automaten ausführen lassen, da in diesem Modell nicht unbeschränkt „gezählt“ werden kann. Wir werden in diesem Kapitel mit dem Kellerautomaten ein Berechnungsmodell vorstellen, in welchem wir den beschriebenen Algorithmus ausführen können. Unser Ziel ist es zudem, ein Modell zu finden, das möglichst nahe am endlichen Automaten bleibt. Die Sprachen, die ein Kellerautomat erkennt, nennen wir kontextfrei. Diese Sprachklasse ist eine sehr wichtige Sprachklasse mit vielen Anwendungen in der Informatik (zum Beispiel beim Entwurf von Programmiersprachen). Das Modell des Kellerautomaten ist ein nichtdeterministisches Modell. Daraus lässt sich aber auch eine deterministische Version ableiten. Wie wir sehen werden, sind diese Modell (anders als bei den endlichen Automaten) nicht gleich mächtig.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
M. P. Schützenberger. „On context-free languages and push-down automata“. In: Information and Control 6 (1963), S. 246–264.
A. G. Oetinger. „Automatic syntactic analysis and the pushdown store“. In: Structure of Language and Its Mathematical Aspects. Hrsg. von R. Jakobson. Bd. 12. Proceedings of Symposia in Applied Mathematics. AMS, 1961, S. 104–129.
N. Chomsky. „Three models for the description of language“. In: IRE Trans. Inf. Theory 2.3 (1956), S. 113–124.
N. Chomsky. Context-Free Grammars and Pushdown Storage. Quarterly Progress Report 65. Research Laboratory of Electronics (RLE) at the Massachusetts Institute of Technology (MIT), Apr 1962.
R. J. Evey. „Application of pushdown-store machines“. In: Proceedings of the 1963 fall joint computer conference, AFIPS 1963 (Fall), Las Vegas, Nevada, USA, November 12–14, 1963 Hrsg. von J. D. Tupac. ACM, 1963, S. 215–227.
N. Chomsky. „On Certain Formal Properties of Grammars“. In: Inf. Control. 2.2 (1959), S. 137–167.
J. E. Hopcroft und J. D. Ullman. Formal languages and their relation to automata. Addison-Wesley series in computer science and information processing. Addison-Wesley, 1969.
D. H. Younger. „Recognition and Parsing of Context-Free Languages Recognition and parsiong of context-free languages in time n3“. In: Information and Control 10 (1967), S. 189–208.
T. Kasami. An efficient recognition and syntax-analysis algorithm for context-free languages Techn. Ber R-257. Coordinated Science Laboratory University of Illinois at Urbana-Champaign, März 1966.
Y Bar-Hillel, M. Perles und E. Shamir. „On formal properties of simple phrase structure grammars“. In: Z. Phonetik Sprachwiss. Kommunikat. 14 (1961), S. 143–172.
P. C. Fischer. „On computability by certain classes of restricted Turing machines“. In: 4th Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, Illinois, USA, October 28–30, 1963. IEEE Computer Society, 1963, S. 23–32.
S. Ginsburg und S. A. Greibach. „Deterministic context free languages“. In: Information and Control 9 (1966), S. 620–648.
N. Chomsky und M. P Schützenberger. „The algebraic theory of context-free languages“. In: Computer programming and formal systems. North-Holland, Amsterdam, 1963, S. 118–161.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2022 Der/die Autor(en), exklusiv lizenziert an Springer-Verlag GmbH, DE, ein Teil von Springer Nature
About this chapter
Cite this chapter
Schulz, A. (2022). Kontextfreie Sprachen. In: Grundlagen der Theoretischen Informatik. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-65142-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-65142-1_3
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-65141-4
Online ISBN: 978-3-662-65142-1
eBook Packages: Computer Science and Engineering (German Language)