Deriving structures from structures

  • Hartmut Ehrig
  • Hans-Jörg Kreowski
  • Andrea Maggiolo-Schettini
  • Barry K. Rosen
  • Josef Winkowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


This paper introduces a new mathematical approach to transformations of structures, where the concept of "structure" is extremely general. Many structures and transformations that arise in biology as well as computer science are special cases of our concepts. A structure may be changed by finding an occurrence of a pattern and replacing it by another pattern as specified by a rule. To prove theorems about long sequences of applications of complicated rules, we need precise and tractable mathematical definitions of rules and how to apply them. This paper presents such definitions and some fundamental theorems, together with brief remarks on applications to record handling, evaluation of recursively defined functions, and control flow analysis for optimizing compilers.


Direct Derivation Full Subcategory Colored Structure Graph Grammar Unary Predicate 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AM75]
    M.A. Arbib and E.G. Manes, Arrows, Structures, and Functors, Academic Press, New York, 1975.Google Scholar
  2. [Co70]
    E.F. Codd, A relational model of data for large shared data banks, Comm. ACM, 13 (1970), pp. 377–387.CrossRefGoogle Scholar
  3. [EPR78]
    H. Ehrig, P. Padawitz, and B.K. Rosen, Rapid evaluation of recursively defined functions, in preparation.Google Scholar
  4. [EPS73]
    H. Ehrig, M. Pfender, and H.J. Schneider, Graph grammars: an algebraic approach, Proc. 14th Ann. IEEE Symp. on Switching and Automata Theory, Iowa City, October 1973, pp. 167–180.Google Scholar
  5. [ER77]
    H. Ehrig and B.K. Rosen, The mathematics of record handling, Lecture Notes in Computer Sci. 52 (1977), pp. 206–220.Google Scholar
  6. [ET75]
    H. Ehrig and K.W. Tischer, Graph grammars and applications to specialization and evolution in biology, J. Computer and System Sci., 11 (1975), pp. 212–236.Google Scholar
  7. [FKZ76]
    R. Farrow, K. Kennedy, and L. Zucconi, Graph grammars and global program data flow analysis, Proc. 17th Ann. IEEE Symp. on Foundations of Computer Sci., Houston, October 1976, pp. 42–56.Google Scholar
  8. [HS73]
    H. Herrlich and G. Strecker, Category Theory, Allyn and Bacon, Rockleigh, New Jersey, 1973.Google Scholar
  9. [Kr77]
    H.-J. Kreowski, Ein Pumpinglemma für Kanten-Kontextfreie Graph-Sprachen, Bericht 77-15, Fachbereich Informatik, Tech. U. Berlin, September 1977.Google Scholar
  10. [OD77]
    M.J. O'Donnell, Computing in systems described by equations, Lecture Notes in Computer Science, 58 (1977).Google Scholar
  11. [PMT74]
    G. Pacini, C. Montangero, and F. Turini, Graph representation and computation rule for typeless recursive languages, Lecture Notes in Computer Science, 14 (1974), pp. 157–169.Google Scholar
  12. [Ra75]
    V. Rajlich, Dynamics of discrete systems..., J. Computer and System Sci., 11 (1975), pp. 186–202.Google Scholar
  13. [Ro75]
    B.K. Rosen, Deriving graphs from graphs by applying a production, Acta Informatica, 4 (1975), pp. 337–357.CrossRefGoogle Scholar
  14. [SE76]
    H.J. Schneider and H. Ehrig, Grammars on partial graphs, Acta Informatica, 6 (1976), pp. 297–316.CrossRefGoogle Scholar
  15. [Vu74]
    J. Vuillemin, Correct and optimal implementations of recursion in a simple programming language, J. Computer and System Sci., 9 (1974), pp. 332–354.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Hans-Jörg Kreowski
    • 1
  • Andrea Maggiolo-Schettini
    • 2
  • Barry K. Rosen
    • 3
  • Josef Winkowski
    • 4
  1. 1.Fachbereich InformatikTechnische Universität Berlin1 Berlin 10Germany
  2. 2.Laboratorio di Cibernetica del C.N.R.Arco FeliceItaly
  3. 3.IBM Thomas J. Watson Research CenterYorktown HeightsUSA
  4. 4.Instytut Podstaw Informatyki PANWarszawa, PKiNPoland

Personalised recommendations