Advertisement

Introduction to the algebraic theory of graph grammars (a survey)

  • Hartmut Ehrig
Survey Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 73)

Abstract

The aim of this survey is to motivate and introduce the basic constructions and results which have been developed in the algebraic theory of graph grammars up to now. The complete material is illustrated by several examples, especially by applications to a "very small data base system", where consistent states are represented as graphs, operation rules and operations as productions and derivations in a graph grammar respectively. Further applications to recursively defined functions, record handling, compiler techniques and development and evolution in Biology are sketched in the introduction. This survey is divided into the following sections:
  1. 1.

    INTRODUCTION

     
  2. 2.

    GLUING CONSTRUCTIONS FOR GRAPHS

     
  3. 3.

    SEQUENTIAL GRAPH GRAMMARS

     
  4. 4.

    CHURCH-ROSSER PROPERTIES, PARALLELISM — AND CONCURRENCY THEOREMS

     
  5. 5.

    PROPERTIES OF DERIVATION SEQUENCES

     
  6. 6.

    PARALLEL GRAPH GRAMMARS

     
  7. 7.

    LOCALLY STAR GLUING FORMULAS

     
  8. 8.

    GRAPH LANGUAGES

     
  9. 9.

    APPENDIUM: CONCEPTS OF CATEGORY THEORY USED IN THE ALGEBRAIC THEORY OF GRAPH GRAMMARS

     
  10. 10.

    REFERENCES

     

Keywords

Direct Derivation Algebraic Theory Derivation Tree Graph Grammar Graph Star 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

CT: Category Theory

  1. /CT.Ar Ma 75/
    Arbib, M.A.; Manes, E.G.: Arrows, Structures and Functors: The Categorical Imperative, Academic Press, New York, 1975Google Scholar
  2. /CT.He St 73/
    Herrlich, H.; Strecker G.: Category Theory, Allyn and Bacon, Rockleigh 1973Google Scholar

LS: L-Systems

  1. /LS.He Rb 75/
    Herman, G.T.; Rozenberg, G.: Developmental Systems and Languages, North Holland, Amsterdam, 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  1. 1.Technical University Berlin, FB 20Germany

Personalised recommendations