On context-free gragh languages generated by edge replacement

Edge replacement systems provide a simple mechanism to generate graph languages. They generalize context-free (string) grammars to the case of graphs. This paper summarizes some recent results on graph languages generated by edge replacement. Especially, we show that our languages are fixed points of their productions (considered as equations) and that they can be generated by language operations (substitution and iteration) from finite graph languages.

[1]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[2]  Seymour Ginsburg,et al.  Two Families of Languages Related to ALGOL , 1962, JACM.

[3]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[4]  Jozef Gruska.  A Characterization of Context-free Languages , 1971, J. Comput. Syst. Sci..

[5]  Mary Katherine Yntema,et al.  Cap Expressions for Context-Free Languages , 1971, Inf. Control..

[6]  Ken Kennedy,et al.  Graph grammars and global program data flow analysis , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[7]  Richard S. Bird,et al.  Programs and Machines , 1976 .

[8]  Hans-Jörg Kreowski,et al.  Transformationas of Derivation Sequences in Graph Grammars , 1977, FCT.

[9]  Manfred Nagl,et al.  A Tutorial and Bibliographical Survey on Graph Grammars , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[10]  Carlo Ghezzi,et al.  Context-Free Graph Grammars , 1978, Inf. Control..

[11]  Hans-Jörg Kreowski.  A Pumping Lemma for Context-Free Graph Languages , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[12]  Hartmut Ehrig,et al.  Graph-Grammars and Their Application to Computer Science and Biology , 1978, Lecture Notes in Computer Science.

[13]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[14]  Grzegorz Rozenberg,et al.  On the structure of node-label-controlled graph languages , 1980, Inf. Sci..