Advertisement

Structural equivalence of context-free grammar forms is decidable

  • Hermann K. -G. Walter
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)

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.

Key Words and Phrases

Contextfree grammars parenthesized grammars grammar forms grammar homomorphisms reduction grammatical language families 

CR Categories

4.12 5.23 5.25 

References

  1. [1]
    E. Bertsch, An Observation on Relative Parsing Time, JACM (2) 4, 1975, 493–498Google Scholar
  2. [2]
    A. Cremers — S. Ginsburg, Contextfree Grammar Forms JCSS 11, 1975, 86–117Google Scholar
  3. [3]
    S. Ginsburg, The Mathematical Theory of Contextfree Languages, McGraw-Hill, Book Co., New York, 1966Google Scholar
  4. [4]
    G. Hotz, Eindeutigkeit und Mehrdeutigkeit formaler Sprachen, EIK (2) 4, 1966, 235–246Google Scholar
  5. [5]
    R. McNaughton, Parenthesis Grammars, JACM 14, 1967, 490–500Google Scholar
  6. [6]
    A. Salomaa, Formal Languages, Academic Press, New York, 1971Google Scholar
  7. [7]
    C.P. Schnorr, Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen, Computing 93, 1968, 311–317Google Scholar
  8. [8]
    C.P. Schnorr, On Transformational Classes of Grammars, Inf. and Control 14, 1969, 252–277Google Scholar
  9. [9]
    H. Walter, Verallgemeinerte Pullbackkonstruktionen bei Semi-Thue-Systemen, EIK 6, (4/5), 1970, 239–254Google Scholar
  10. [10]
    H. Walter, Grammar Forms and Grammar Morphisms, to appear in Acta Informatica, 1976Google Scholar
  11. [11]
    H. Walter, Grammatik-und Sprachfamilien, Teil IV TB AFS 75–22, TH Darmstadt, 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Hermann K. -G. Walter
    • 1
  1. 1.Technische Hochschule DarmstadtWest Germany

Personalised recommendations