Advertisement

An introduction to dynamic labeled 2-structures

  • A. Ehrenfeucht
  • G. Rozenberg
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)

Abstract

The notion of a dynamic labeled 2-structure is introduced and investigated. It generalizes the notion of a labeled 2-structure (ℓ2s), see [ER1], by making it possible to change the (label) relationships between the nodes. This is achieved by storing in the nodes of a ℓ2s output and input functions which can change the outgoing and incoming labels, respectively. The notion of a clan which is central in the theory of ℓ2s's is transferred to the framework of dℓ2s's, and the basic properties of clans of dℓ2s's are investigated.

Keywords

Output Function Input Function Closure Property Transitive Group Graph Grammar 
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

  1. [BB]
    G. Birkhoff and T.C. Bartee, Modern Applied Algebra, McGraw Hill, New York, 1970.Google Scholar
  2. [ER1]
    A. Ehrenfeucht and G. Rozenberg, Theory of 2-structures, parts I and II, Theoretical Computer Science, v. 70, 277–342, 1990.Google Scholar
  3. [ER2]
    A. Ehrenfeucht and G. Rozenberg, Angular 2-structures, Theoretical Computer Science, v. 92, 227–248, 1992.Google Scholar
  4. [ER3]
    A. Ehrenfeucht and G. Rozenberg, Square systems, Dept. of Computer Science, Leiden University, Technical Report No. 31, 1992.Google Scholar
  5. [ER4]
    A. Ehrenfeucht and G. Rozenberg, T-structures, T-functions and texts, Theoretical Computer Science, 1993, to appear.Google Scholar
  6. [ER5]
    A. Ehrenfeucht and G. Rozenberg, Dynamic labeled 2-structures, Dept. of Computer Science, Leiden University, Techn. Rep. No. 1, 1993.Google Scholar
  7. [EHR]
    A. Ehrenfeucht, T. Harju and G. Rozenberg, Permutable transformation semigroups, Semigroup Forum, 1993, to appear.Google Scholar
  8. [EKR]
    H. Ehrig, H.-J. Kreowski and G. Rozenberg, (Eds.), Graph grammars and their application to computer science, Lecture Notes in Computer Science 532, Springer Verlag, Heidelberg, 1991.Google Scholar
  9. [R]
    W. Reisig, Petri Nets, An Introduction, Springer Verlag, Berlin, Heidelberg, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • A. Ehrenfeucht
    • 1
  • G. Rozenberg
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of Colorado at BoulderBoulderUSA
  2. 2.Department of Computer ScienceLeiden UniversityRA LeidenThe Netherlands

Personalised recommendations