A Tutorial and Bibliographical Survey on Graph Grammars

In the first section we make some remarks (without going into any details) about the main application fields of graph grammars to motivate their investigation. In section 2 and 3 we give a short and informal overview on most of the approaches for sequential and parallel graph grammars known in literature. In the last part we introduce some of the modifications and extensions enforced by several applications and give some comments on implementation of graph grammars realized so far.

[1]  C. Petri.  Kommunikation mit Automaten , 1962 .

[2]  Gerald Salton,et al.  Some flexible information retrieval systems using structure matching procedures , 1964, AFIPS '64 (Spring).

[3]  R. Narasimhan,et al.  Labeling Schemata and Synctactic Descriptions of Pictures , 1964, Inf. Control..

[4]  Russell A. Kirsch,et al.  Computer Interpretation of English Text and Picture Patterns , 1964, IEEE Trans. Electron. Comput..

[5]  Stephen H. Unger,et al.  GIT—a heuristic program for testing pairs of directed line graphs for isomorphism , 1964, CACM.

[6]  R. Narasimhan,et al.  Syntax-directed interpretation of classes of pictures , 1966, CACM.

[7]  Carlos Christensen,et al.  An example of the manipulation of directed graphs in the AMBIT/G programming language , 1967, Symposium on Interactive Systems for Experimental Applied Mathematics.

[8]  W. F. Miller,et al.  A PICTURE CALCULUS. , 1967 .

[9]  A. C. Shaw,et al.  Linguistic methods in picture processing: a survey , 1899, AFIPS Fall Joint Computing Conference.

[10]  King-Sun Fu,et al.  Syntactic Pattern Recognition And Applications , 1968 .

[11]  Robert H. Anderson.  Syntax-directed recognition of hand-printed two-dimensional mathematics , 1967, Symposium on Interactive Systems for Experimental Applied Mathematics.

[12]  E. F. Codd,et al.  Cellular automata , 1968 .

[13]  Azriel Rosenfeld,et al.  Web Grammars , 1969, IJCAI.

[14]  R J Orgass,et al.  A theory of programming languages. , 1969, Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden.

[15]  Alan C. Shaw,et al.  A Formal Picture Description Scheme as a Basis for Picture Processing Systems , 1969, Inf. Control..

[16]  Real-Time Computation by n-Dimensional Iterative Arrays of Finite-State Machines , 1969, IEEE Trans. Computers.

[17]  P Lucas,et al.  On the formal description of PL/I , 1969 .

[18]  Terrence W. Pratt.  A hierarchical graph model of the semantics of programs , 1969, AFIPS '69 (Spring).

[19]  SATOSI WATANABE,et al.  Ungrammatical grammar in pattern recognition , 1971, Pattern Recognit..

[20]  Ugo Montanari,et al.  Separable Graphs, Planar Graphs and Web Grammars , 1970, Inf. Control..

[21]  Alvy Ray Smith.  Cellular Automata and Formal Languages , 1970, SWAT.

[22]  Rosamaria Morpurgo,et al.  A language for treating graphs , 1970, CACM.

[23]  King-Sun Fu,et al.  NONPARAMETRIC AND LINGUISTIC APPROACHES TO PATTERN RECOGNITION , 1970 .

[24]  Alan C. Shaw,et al.  Parsing of Graph-Representable Pictures , 1970, JACM.

[25]  R. Narasimhan,et al.  A syntax-aided recognition scheme for handprinted english letters , 1971, Pattern Recognit..

[26]  Leonard Uhr,et al.  Flexible linguistic pattern recognition , 1971, Pattern Recognit..

[27]  Michael F. Dacey,et al.  The syntax of a triangle and some other figures , 1970, Pattern Recognit..

[28]  D. Corneil,et al.  An Efficient Algorithm for Graph Isomorphism , 1970, JACM.

[29]  A. Rosenfeld.  ISOTONIC GRAMMARS, PARALLEL GRAMMARS, AND PICTURE GRAMMARS. , 1970 .

[30]  Jay Earley,et al.  Toward an understanding of data structures , 1971, SIGFIDET '70.

[31]  Ranan B. Banerji.  Some linguistic and statistical problems in pattern recognition , 1970, Pattern Recognit..

[32]  Michael S. Wolfberg.  An Interactive Graph Theory System , 1971 .

[33]  Alvy Ray Smith,et al.  Two-Dimensional Formal Languages and Pattern Recognition by Cellular Automata , 1971, SWAT.

[34]  J. Pfaltz.  Convexity in directed graphs , 1971 .

[35]  Jerome Feder,et al.  Plex languages , 1971, Inf. Sci..

[36]  Thomas G. Evans,et al.  Grammatical Inference Techniques in Pattern Analysis , 1971 .

[37]  P. H. Swain,et al.  On Syntactic Pattern Recognition , 1971 .

[38]  Azriel Rosenfeld,et al.  A Grammar for Maps , 1971 .

[39]  K. Culík.  Combinatorial problems in the theory of complexity of algorithmic nets without cycles for simple computers , 1971 .

[40]  Shi-Kuo Chang,et al.  Picture processing grammar and its applications , 1971, Inf. Sci..

[41]  Daniel P. Friedman,et al.  A language extension for graph processing and its formal semantics , 1971, Commun. ACM.

[42]  Terrence W. Pratt,et al.  Pair Grammars, Graph Languages and String-to-Graph Translations , 1971, J. Comput. Syst. Sci..

[43]  Michael F. Dacey.  Poly: A two dimensional language for a class of polygons , 1971, Pattern Recognit..

[44]  George Stiny,et al.  Shape Grammars and the Generative Specification of Painting and Sculpture , 1971, IFIP Congress.

[45]  A. H. Watt,et al.  Recognition of Hand-Printed Numerals Reduced to Graph-Representable Form , 1971, IJCAI.

[46]  John Mylopoulos,et al.  On the application of formal language and automata theory to pattern recognition , 1972, Pattern Recognit..

[47]  Hans Jürgen Schneider,et al.  A Necessary and Sufficient Condition for Chomsky-Productions Over Partially Ordered Symbol Sets , 1972, GI Jahrestagung.

[48]  Yi-Tzuu Chien,et al.  A New Data Base for Syntax-Directed Pattern Analysis and Recognition , 1972, IEEE Transactions on Computers.

[49]  R. N. Lieberman.  Topologies on directed graphs , 1972 .

[50]  R. C. Grimsdale.  Automatic Interpretation and Classification of Images, A. Grasselli (Ed.). Academic Press, New York (1969), 436 pp. $14.00. , 1972 .

[51]  Karel Culik.  A model for the formal definition of programming languages , 1972 .

[52]  Michael S. Wolfberg.  Fundamentals of the AMBIT/L list-processing language , 1972 .

[53]  K. S. Fu,et al.  On syntactic pattern recognition and stochastic languages , 1972 .

[54]  Charles K. Mesztenyi,et al.  On a programming language for graph algorithms , 1972 .

[55]  Ronald C. Read,et al.  Graph theory and computing , 1972 .

[56]  John Charles Schwebel.  A graph-structure transformation model for picture-parsing. , 1972 .

[57]  Gary J. Nutt.  Evaluation nets for computer system performance analysis , 1972, AFIPS '72 (Fall, part I).

[58]  John L. Pfaltz,et al.  Web grammars and picture description , 1972, Comput. Graph. Image Process..

[59]  Peter Wegner,et al.  The Vienna Definition Language , 1972, CSUR.

[60]  Cliff B. Jones,et al.  A formal definition of ALGOL 60 , 1972 .

[61]  Clarence King,et al.  A GRAPH-THEORETIC PROGRAMMING LANGUAGE , 1972 .

[62]  John Mylopoulos.  On the Relation of Graph Grammars and Graph Automata , 1972, SWAT.

[63]  J. Feldman,et al.  A SURVEY OF RESULTS IN GRAMMATICAL INFERENCE , 1972 .

[64]  John L. Pfaltz.  Graph Structures , 1972, JACM.

[65]  Theodosios Pavlidis,et al.  Linear and Context-Free Graph Grammars , 1972, JACM.

[66]  Norihiro Abe,et al.  Web Grammars and Several Graphs , 1973, J. Comput. Syst. Sci..

[67]  Tree-Manipulating Systems and Church-Rosser Theorems , 1973, JACM.

[68]  J. C. Huang,et al.  A note on information organization and storage , 1973, CACM.

[69]  Azriel Rosenfeld,et al.  Progress in Picture Processing: 1969--71 , 1973, CSUR.

[70]  Václav Rajlich.  On oriented hypergraphs and on dynamics of some discrete systems , 1973 .

[71]  H. Raymond Strong,et al.  Characterizations of Flowchartable Recursions , 1973, J. Comput. Syst. Sci..

[72]  High-level language translation in SYMBOL 2R , 1973, HLLCA '73.

[73]  Rani Siromoney,et al.  Picture Languages with Array Rewriting Rules , 1973, Inf. Control..

[74]  A hierarchical machine model for the semantics of programming languages , 1973, HLLCA '73.

[75]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[76]  Bharat K. Bhargava,et al.  Tree Systems for Syntactic Pattern Recognition , 1973, IEEE Transactions on Computers.

[77]  Azriel Rosenfeld,et al.  An array grammar programming system , 1973, Commun. ACM.

[78]  Azriel Rosenfeld,et al.  Array Grammar Normal Forms , 1973, Inf. Control..

[79]  Václav Rajlich,et al.  Relational Structures and Dynamics of Certain Discrete Systems , 1973, International Symposium on Mathematical Foundations of Computer Science.

[80]  Sheila A. Greibach,et al.  A Two-Dimensional Generating System Modeling Growth by Binary Cell Division (Preliminary Report) , 1974, SWAT.

[81]  Brian H. Mayoh,et al.  Multidimensional Lindenmayer Organisms , 1974, L Systems.

[82]  A. Hansal.  "Software Devices" for Processing Graphs Using PL/I Compile Time Facilities , 1974, Inf. Process. Lett..

[83]  Ernst Denert,et al.  PLAN2D - Towards a Two-Dimensional Programming Language , 1974 .

[84]  Victor R. Basili.  Sets and graphs in GRAAL , 1974, ACM '74.

[85]  Hans Jürgen Schneider,et al.  Syntax-Directed Description of Incremental Compilers , 1974, GI Jahrestagung.

[86]  Hans Jürgen Schneider.  Syntax-Directed Description of Incremental Compilers , 1974, GI Jahrestagung.

[87]  Arnold L. Rosenberg,et al.  What Is a Multilevel Array? , 1975, IBM J. Res. Dev..

[88]  Introduction to and Survey of Polyautomata Theory , 1975, Automata, Languages, Development.

[89]  Barry K. Rosen,et al.  A Church-Rosser theorem for graph grammars , 1975, SIGA.

[90]  John L. Pfaltz.  Representing Graphs by Knuth Trees , 1975, JACM.

[91]  Victor R. Basili,et al.  Some Supplementary Notes on the Graph Algorithmic Language GRAAL , 1975, WG.

[92]  John Staples.  Church-Rosser theorems for replacement systems , 1975 .

[93]  Hartmut Ehrig,et al.  Graph Grammars and Applications to Specialization and Evolution in Biology , 1975, J. Comput. Syst. Sci..

[94]  F. Köpke.  GALA - eine Sprache zur Erzeugung und Manipulation von interpretierten Graphen , 1975, WG.

[95]  Taylor L. Booth,et al.  Grammatical Inference: Introduction and Survey - Part I , 1975, IEEE Trans. Syst. Man Cybern..

[96]  Azriel Rosenfeld.  Array and Web Languages: An Overview. , 1975 .

[97]  Jac M. Anthonisse.  A Graph Defining Language and its Implementation and Applications , 1975, WG.

[98]  Václav Rajlich.  Dynamics of certain discrete systems and self-reproduction of patterns , 1975, J. Inf. Process. Cybern..

[99]  Taylor L. Booth,et al.  Grammatical Inference: Introduction and Survey-Part I , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[100]  Václav Rajlich,et al.  Dynamics of Discrete Systems and Pattern Reproductions , 1975, J. Comput. Syst. Sci..

[101]  Another Model for the Development of Multidimensional Organisms , 1975, Automata, Languages, Development.

[102]  Pei Hsia,et al.  Graph Walking Automata , 1975, MFCS.

[103]  Michael Thompson,et al.  Frontiers of Pattern Recognition , 1975 .

[104]  Václav Rajlich,et al.  Relational definition of Computer Languages , 1975, MFCS.

[105]  Azriel Rosenfeld,et al.  Networks of Automata: Some Applications , 1975, IEEE Transactions on Systems, Man, and Cybernetics.

[106]  Carlo Ghezzi,et al.  Data Structures and Graph Grammars , 1976, ECI.

[107]  Manfred Nagl,et al.  Graph Rewriting Systems and their Application in Biology , 1976 .

[108]  Reinhold Franck.  PLAN2D - syntactic analysis of precedence graph grammars , 1976, POPL '76.

[109]  Barry K. Rosen,et al.  Correctness of Parallel Programs: The Church-Rosser Approach , 1976, Theor. Comput. Sci..

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

[111]  Grzegorz Rozenberg,et al.  Automata, languages, development , 1976 .

[112]  Michael J. O'Donnell,et al.  Reduction strategies in subtree replacement systems. , 1976 .

[113]  H. Kreowski,et al.  Categorical Approach to Graphic Systems and Graph Grammars , 1976 .

[114]  King-Sun Fu,et al.  Structure-preserved error-correcting tree automata for syntactic pattern recognition , 1976, 1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes.

[115]  King-Sun Fu,et al.  Syntactic Methods in Pattern Recognition , 1974, IEEE Transactions on Systems, Man, and Cybernetics.

[116]  Peter A. Ng,et al.  Toward a mathematical theory of graph-generative systems and its applications , 1976, Inf. Sci..

[117]  King-Sun Fu,et al.  Structure-preserved error-correcting tree automata for syntactic pattern recognition , 1976 .

[118]  Hartmut Ehrig,et al.  Parallelism of Manipulations in Multidimensional Information Structures , 1976, MFCS.

[119]  A. Lindenmayer,et al.  PARALLEL GRAPH GENERATING AND GRAPH RECURRENCE SYSTEMS FOR MULTICELLULAR DEVELOPMENT , 1976 .

[120]  On the Relation Between Graph Grammars and Graph L-Systems , 1977, FCT.

[121]  Václav Rajlich,et al.  Theory of Data Structures by Relational and Graph Grammars , 1977, ICALP.

[122]  Manfred Nagl,et al.  Syntaxgesteuerte Programmierung und inkrementelle Compilation , 1977, GI Jahrestagung.

[123]  J. Staples.  A class of replacement systems with simple optimality theory , 1977, Bulletin of the Australian Mathematical Society.

[124]  Jan A. Bergstra,et al.  An Axiomatization of the Rational Data Objects , 1977, FCT.

[125]  Hartmut Ehrig,et al.  Embedding Theorem in the Algebraic Theory of Graph Grammars , 1977, FCT.

[126]  K. S. Fu,et al.  Linguistic Approach to Pattern Recognition , 1977 .

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

[128]  Andrei P. Ershov,et al.  An Implementation-Oriented Method for Describing Algorithmic Languages , 1977, IFIP Congress.

[129]  Hartmut Ehrig,et al.  The Mathematics of Record Handling , 1977, ICALP.

[130]  B. Rosen.  Arcs in graphs are NOT pairs of nodes , 1977, SIGA.

[131]  J. Staples.  Optimal reduction in replacement systems , 1977, Bulletin of the Australian Mathematical Society.

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

[133]  Van Nam Tran,et al.  Syntactic pattern recognition , 1978 .

[134]  Hartmut Ehrig,et al.  Deriving Structures from Structures , 1978, MFCS.

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

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

[137]  Antonio L. Furtado,et al.  Implementing a Data Definition Facility Driven by Graph Grammars , 1978, Comput. Lang..

[138]  Hartmut Ehrig,et al.  Concurrency of Manipulations in Multidimensional Information Structures , 1978, MFCS.

[139]  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.

[140]  Manfred Nagl,et al.  Explicit versus Implicit Parallel Rewriting on Graphs , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[141]  Hartmut Ehrig,et al.  Locally Star Sluing Formulas for a Class of Parallel Graph Grammars , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[142]  T. Uesu.  A system of graph grammars which generates all recursively enumerable sets of labelled graphs , 1978 .

[143]  Hartmut Ehrig,et al.  Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.

[144]  J. Mylopoulos,et al.  Using Graph Grammars To Define Sets Of Digraphs , 1979 .

[145]  King-Sun Fu,et al.  Inference for Transition Network Grammars , 1979, Comput. Lang..

[146]  J. Staples.  A lambda calculus with naive substitution , 1979, Journal of the Australian Mathematical Society.

[147]  A. Lindenmayer,et al.  GROWING CELLULAR SYSTEMS: GENERATION OF GRAPHS BY PARALLEL REWRITING , 1979 .

[148]  Hartmut Noltemeier,et al.  Graphtheoretic Concepts in Computer Science , 1980, Lecture Notes in Computer Science.

[149]  Alexander Ollongren,et al.  Axioms for multilevel objects , 1980, Fundam. Informaticae.

[150]  John Staples,et al.  Computation on Graph-Like Expressions , 1980, Theor. Comput. Sci..

[151]  John Staples.  Speeding up Subtree Replacement Systems , 1980, Theor. Comput. Sci..