Advertisement

A decidability result for sequential grammars

  • Eberhard Bertsch
Friday Afternoon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Benson,D.: Syntax and Semantics: A Categorical View, Inf & Con (1970)Google Scholar
  2. [2]
    Bertsch,E.: Existenz-und Entscheidbarkeitsfragen der Übersetzungstheorie, Doct.Thesis, Saarbrücken (1973)Google Scholar
  3. [3]
    id.: Mappings between Context-free Derivation Systems, Lecture Notes in Computer Science 2 (1973)Google Scholar
  4. [4]
    id.: Surjectivity of Functors on Grammars (submitted to a technical journal)Google Scholar
  5. [5]
    Brauer,W. and K.Indermark: Algorithmen, rekursive Funktionen und formale Sprachen, BI-HTB 817 (1968)Google Scholar
  6. [6]
    Ginsburg,S.: The Mathematical Theory of Context-free Languages, McGraw-Hill (1966)Google Scholar
  7. [7]
    Gray,J. and M.Harrison: On the Covering and Reduction Problems for Context-free Grammars, Journal of the ACM (1972)Google Scholar
  8. [8]
    Haskell, R.: Grammatical Coverings, Doct.Thesis, Imperial College, Londen (1970)Google Scholar
  9. [9]
    Hotz, G.: Homomorphie und Äquivalenz formaler Sprachen, ISNM Vol.6, Birkhäuser Verlag, Basel (1967)Google Scholar
  10. [10]
    id.: Reduktionssätze über eine Klasse formaler Sprachen mit endlich vielen Zuständen, Mathematische Zeitschrift 104 (1968)Google Scholar
  11. [11]
    id.: Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen, Computing (1969)Google Scholar
  12. [12]
    id. and V. Claus: Automatentheorie und formale Sprachen, Vol.3, BI-HTB 823a (1972)Google Scholar
  13. [13]
    Maurer,H.: Theoretische Grundlagen der Programmiersprachen, BI-HTB 404/404a (1969)Google Scholar
  14. [14]
    Reynolds,J. and R.Haskell: Grammatical Coverings (unpublished manuscript)Google Scholar
  15. [15]
    Schnorr,C.: Vier Entscheidbarkeitsprobleme für kontext-sensitive Sprachen, Computing (1968)Google Scholar
  16. [16]
    id.: Transformational Classes of Grammars, Inf & Con (1969)Google Scholar
  17. [17]
    id. and H.Walter: Pullbackkonstruktionen bei Semi-Thue-Systemen, Elektr. Informationsverarbeitung und Kybernetik (1969)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Eberhard Bertsch
    • 1
  1. 1.Saarbrücken

Personalised recommendations