Advertisement

Closure properties of context-free Hyperedge Replacement Systems

  • Ornella Ciotti
  • Francesco Parisi-Presicce
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1197)

Abstract

Hyperedge replacement systems are investigated in terms of closure properties with respect to language operators such as union, intersection and concatenation. It is shown that context-free HR systems are closed under union, coalesced sum and concatenation but not under intersection, giving an explicit counterexample.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Courcelle, B.: Graph Rewriting: an algebraic and logical approach. Handbook of Theoret.Comp.Sci. vol.B, Elsevier 1990, 193–242Google Scholar
  2. 2.
    Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars. Springer Lect. Notes Comp. Sci. 73 (1979) 1–69Google Scholar
  3. 3.
    Engelfriet, J., Vereijken, J.J.: Concatenation of Graphs. partecipant edition of Proceedings of Fifth Internat.Wksp on Graph Grammars and their applications to Comp.Sci., USA nov 1994, 13–18Google Scholar
  4. 4.
    Golin, E.J., Reiss, S.P.: The Specification of Visual Language Syntax. Proc. IEEE Workshop on Visual Languages, Rome (Italy) (1989) 105–110Google Scholar
  5. 5.
    Habel,A.: Hyperedge Replacement: Grammars and Languages. Springer Lect. Notes Comp. Sci. 643 (1992)Google Scholar
  6. 6.
    Helm, R., Marriot, K.: Declarative Specification of Visual Languages. Proc. IEEE Workshop on Visual Languages, Skokie (Illinois, USA) (1990) 98–103Google Scholar
  7. 7.
    Nagl, M.: A tutorial and bibliographical survey on Graph Grammars. Springer Lect. Notes Comp. Sci. 73 (1979) 70–126Google Scholar
  8. 8.
    Nagl, M.: Formal languages of labelled graphs. Computing 16 (1976) 113–137Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Ornella Ciotti
    • 1
  • Francesco Parisi-Presicce
    • 1
  1. 1.Dipartimento di Scienze dell'InformazioneUniversita' di Roma ’La Sapienza’RomaItaly

Personalised recommendations