An introduction to dynamic labeled 2-structures
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.
KeywordsOutput Function Input Function Closure Property Transitive Group Graph Grammar
Unable to display preview. Download preview PDF.
- [BB]G. Birkhoff and T.C. Bartee, Modern Applied Algebra, McGraw Hill, New York, 1970.Google Scholar
- [ER1]A. Ehrenfeucht and G. Rozenberg, Theory of 2-structures, parts I and II, Theoretical Computer Science, v. 70, 277–342, 1990.Google Scholar
- [ER2]A. Ehrenfeucht and G. Rozenberg, Angular 2-structures, Theoretical Computer Science, v. 92, 227–248, 1992.Google Scholar
- [ER3]A. Ehrenfeucht and G. Rozenberg, Square systems, Dept. of Computer Science, Leiden University, Technical Report No. 31, 1992.Google Scholar
- [ER4]A. Ehrenfeucht and G. Rozenberg, T-structures, T-functions and texts, Theoretical Computer Science, 1993, to appear.Google Scholar
- [ER5]A. Ehrenfeucht and G. Rozenberg, Dynamic labeled 2-structures, Dept. of Computer Science, Leiden University, Techn. Rep. No. 1, 1993.Google Scholar
- [EHR]A. Ehrenfeucht, T. Harju and G. Rozenberg, Permutable transformation semigroups, Semigroup Forum, 1993, to appear.Google Scholar
- [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
- [R]W. Reisig, Petri Nets, An Introduction, Springer Verlag, Berlin, Heidelberg, 1985.Google Scholar