Zusammenfassung
In dieser Arbeit werden zwei Beispiele der Verwendung von Hilfszählern zur Verallgemeinerung der kontextfreien Sprachen angegeben, bei denen die polynomielle Analysenkomplexität erhalten bleibt. Zuerst werden die Sprachen betrachtet, die von Quasi-Realzeit Pushdown-Akzeptoren mit k Zählern erkannt werden. Diese bilden eine principal AFL, welche die m-Stapel-Zählersprachen für m ≦ k/2 echt enthält und eine Analysenkomplexität der Ordnung n4.(k+1) hat. Danach werden 1-indizierte Sprachen definiert. Sie bilden eine Super-AFL, die die EOL-Sprachen echt enthält und selbst in den indizierten Sprachen echt enthalten ist. Hier läßt sich eine Analysenkomplexität der Ordnung n5 nachweisen.
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.
Literaturverzeichnis
Aho, A., Indexed Grammars — An Extension of Context-Free Grammars, Journal of the ACM, vol. 15, 1968, pp. 647–671.
Aho, A., Hopcroft, J., Ullmann, J., The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974.
Albert, J., Über indizierte und m-Block-indizierte Grammatiken, Dissertation am Inst. f. Angew. Informatik, Universität Karlsruhe, 1976.
Baker, B. and Book, R., Reversal-Bounded Multi-Pushdown Machines, Journal of Computer and System Sciences, vol. 8, 1974, pp. 315–332.
Book, R. and Ginsburg, S., Multi-Stack-Counter Languages, Mathematical Systems Theory, vol. 4, 1970, pp. 97–111.
Cook, S., Characterizations of Pushdown Machines in Terms of Time-Bounded Computers, Journal of the ACM 18, 1971, pp. 4–18.
Earley, J., An Efficient Contextfree Parsing Algorithm, Ph.D. Thesis, Carnegie Mellon-University, 1968.
Erni, W., Complexity of Recognition for Some Language Families Between Contextfree and Contextsensitive, ersch. demnächst als Forschungsbericht des Inst. f. Angew. Informatik, Universität Karlsruhe.
Fleck, A., An Analysis of Grammars by Their Derivation Sets, Information and Control 24, 1974, pp. 389–398.
Ginsburg, S., Formal Languages, American Elsevier, 1975.
Greibach, S., Jump PDAs, Deterministic Contextfree Languages, Principal AFDLs and Polynomial Time Recognition, 5th ACM-Symposiurn on Theory of Computing, 1973.
Greibach, S. and Hopcroft, J., Scattered Context Grammars, Journal of Computer and System Sciences, vol. 3, 1969, pp. 233–247.
Hunt, H., Computational Parallels Between the Regular and Contextfree Languages, 6 ACM Symposium on Theory of Computing, 1974.
Leeuwen, J.van, The Membership Question for ETOL-Languages is Polynomially Complete, Inf. Proc. Letters 3, 1975, pp. 138–143.
Opatrny, J. and Cu1ik, K.II, Time Complexity of Recognition and Parsing of EOL-Languages, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, 1974.
Rounds, W., Complexity of Recognition in Intermediate Level Languages, IEEE 14th Symposium on Switching Automata Theory, 1973.
Rozenberg, G., Sa1omaa, A., L Systems, Lecture Notes in Computer Science 15, Springer Verlag.
Shamir, E. and Beeri, C., Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages, Lecture Notes of Computer Science 14, 1974, pp. 27–33.
Sudborough, I.H., On Languages Log-Tape Reducible to Contextfree Languages, Manuskript für einen Vortrag bei der J. Hopkins Konferenz, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Albert, J., Erni, W. (1976). Zur Analysenkomplexitaet von Grammatiken und Pushdown-Akzeptoren, die Hilfszaehler Verwenden. In: Neuhold, E.J. (eds) GI — 6. Jahrestagung. Informatik — Fachberichte, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95289-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-95289-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07912-5
Online ISBN: 978-3-642-95289-0
eBook Packages: Springer Book Archive