Abstract
The complexity of languages generated by context-free grammars with disconnecting is investigated. It is shown that even linear and deterministic context-free languages can generate languages of multisets, the membership problem of which is NP-complete. In contrast to that, this problem is in DSPACE(log n) for regular sets.
Preview
Unable to display preview. Download preview PDF.
References
W. Bucher and H. Maurer, Theoretische Grundlagen der Programmier-sprachen — Automaten und Sprachen, BI, Mannheim, Reihe Informatik/41, 1984.
M.A. Harrison, Introduction to Formal Language Theory, Addison-Wesley Publ., Reading, 1978.
J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publ., Reading, 1979.
H.-J. Kreowski, A pumping lemma for context-free graph languages, Lecture Notes in Computer Science 73, (1979), 270–283.
K.-J. Lange and E. Welzl, String grammars with disconnecting or a basic root of the difficulty in graph grammar parsing, Hamburg 1984, submitted for publication.
T.W. Pratt, Pair grammars, graph languages and string-to-graph translations, J. of Comput. System Sci. 5 (1971), 560–595.
G. Rozenberg and E. Welzl, Boundary NLC graph grammars — basic definitions, normal forms, and complexity, Report 84-29, Inst. of Appl. Math. and Comput. Sci., University of Leiden, 1984.
K. Ruohonen, Developmental systems with interaction and fragmentation, Information and Control 28 (1975), 91–112.
K. Ruohonen, JL systems with non-fragmented axioms: the hierarchy, Internat. J. of Comput. Math. 5 (1975), 143–156.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lange, KJ., Welzl, E. (1985). String grammars with disconnecting. In: Budach, L. (eds) Fundamentals of Computation Theory. FCT 1985. Lecture Notes in Computer Science, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028809
Download citation
DOI: https://doi.org/10.1007/BFb0028809
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15689-5
Online ISBN: 978-3-540-39636-9
eBook Packages: Springer Book Archive