Abstract
Two grammars G1 and G2 are structural equivalent if the corresponding parenthesized grammars generate the same language. This definition transfers to grammar forms in a natural way. It is shown that structural equivalence of context-free grammar forms is decidable.
Chapter PDF
Similar content being viewed by others
Key Words and Phrases
- Contextfree grammars
- parenthesized grammars
- grammar forms
- grammar homomorphisms
- reduction
- grammatical language families
CR Categories
References
E. Bertsch, An Observation on Relative Parsing Time, JACM (2) 4, 1975, 493–498
A. Cremers — S. Ginsburg, Contextfree Grammar Forms JCSS 11, 1975, 86–117
S. Ginsburg, The Mathematical Theory of Contextfree Languages, McGraw-Hill, Book Co., New York, 1966
G. Hotz, Eindeutigkeit und Mehrdeutigkeit formaler Sprachen, EIK (2) 4, 1966, 235–246
R. McNaughton, Parenthesis Grammars, JACM 14, 1967, 490–500
A. Salomaa, Formal Languages, Academic Press, New York, 1971
C.P. Schnorr, Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen, Computing 93, 1968, 311–317
C.P. Schnorr, On Transformational Classes of Grammars, Inf. and Control 14, 1969, 252–277
H. Walter, Verallgemeinerte Pullbackkonstruktionen bei Semi-Thue-Systemen, EIK 6, (4/5), 1970, 239–254
H. Walter, Grammar Forms and Grammar Morphisms, to appear in Acta Informatica, 1976
H. Walter, Grammatik-und Sprachfamilien, Teil IV TB AFS 75–22, TH Darmstadt, 1975
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Walter, H.K.G. (1977). Structural equivalence of context-free grammar forms is decidable. In: Salomaa, A., Steinby, M. (eds) Automata, Languages and Programming. ICALP 1977. Lecture Notes in Computer Science, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08342-1_42
Download citation
DOI: https://doi.org/10.1007/3-540-08342-1_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08342-9
Online ISBN: 978-3-540-37305-6
eBook Packages: Springer Book Archive