Summary
We show that grammar forms, introduced by S. Ginsburg, can be treated with the help of grammar homomorphisms, introduced by G. Hotz. This gives us the possibility to generalize the notion of grammar forms in such a way that we can prove closure properties of the associated language family using some simple axioms by diagram chasing. Moreover we demonstrate a principle of duality in dealing with this theory.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Bertsch, E.: Existenz- und Entscheidbarkeitsfragen der Übersetzungstheorie. Universität des Saarlandes, Dissertation 1973
Ginsburg, S.: The mathematical theory of context-free languages. New York: McGraw-Hill 1966
Ginsburg, S., Cremers, A.: Context-free grammar forms. J. Computer and System Sciences to appear
Ginsburg, S., Spanier, E. H.: Derivation-bounded languages. J. Computer and System Sciences 2, 228–250 (1968)
Hotz, G.: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. EIK 2, 235–246 (1966)
Hotz, G.: Homomorphie und Äquivalenz formaler Sprachen. In: Händler, W., Peschl, E., Unger, H. (Hrsg.): 3. Kolloquium über Automatentheorie. Basel: Birkhäuser 1967
Hotz, G.: Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. Main lecture. Scientific meeting, GAMM Praha 1.-5. 4., Computing 4, 30–42 (1969)
Hotz, G., Claus, V.: Automatentheorie und formale Sprachen III: Formale Sprachen. Mannheim: Bibliographisches Institut 1970
Salomaa, A.: On the index of context-free grammars and languages. Information and Control 14, 474–477 (1966)
Walter, H.: Verallgemeinerte Pullbackkonstruktionen bei Semi-Thue-Systemen. EIK 5, 27–36 (1969)
Walter, H.: Grammatik- und Sprachfamilien Teil 1: Diagrammergänzungssätze und Abschlußeigenschaften. Berichte der Informatikforschungsgruppen des Fachbereichs Informatik der TH Darmstadt, AFS-13, 1975
Walter, H.: Zwei Operationen zwischen Chomsky-Grammatiken. In: Dörr, J., Hotz, G. (Hrsg.): Tagungsbericht Automatentheorie und formale Sprachen, Math. Forschungsinstitut Oberwolfach — Berichte. Mannheim: Bibliographisches Institut 1970
Schnorr, C. P.: Transformational classes of grammars. Information and Control 14, 252–277 (1969)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Walter, H.K.G. Grammarforms and grammarhomomorphisms. Acta Informatica 7, 75–93 (1976). https://doi.org/10.1007/BF00265222
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00265222