Applicability of a production in a categorical grammar

  • Petr Kůrka
Section B Computation Theory in Category
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)


Direct Derivation Natural Transformation Target Node Transitive Closure Full Subcategory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Ehrig H., Pfender M., Schneider H.J.: Graph-grammars-an algebraic approach, Proc. Conf. Switch. Automat. Theory 1973, pp 167–180Google Scholar
  2. [2]
    Ehrig H., Kreowski H.J.: Categorical theory of graphical systems and graph-grammars, Springer Lecture Notes in Econ.Math.Syst. 131 1976, 323–351Google Scholar
  3. [3]
    Rosen B.K.: Deriving graphs from graphs by applying a production, Acta Informatica 4, pp 337–357, 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Petr Kůrka
    • 1
  1. 1.Research Institute for Mathematical MachinesPraha 6Czechoslovakia

Personalised recommendations