Companions and an Essential Motion of a Reaction System
Document Type
Article
Publication Date
1-1-2020
Abstract
For a family of sets we consider elements that belong to the same sets within the family as companions. The global dynamics of a reactions system (as introduced by Ehrenfeucht and Rozenberg) can be represented by a directed graph, called a transition graph, which is uniquely determined by a one-out subgraph, called the 0-context graph. We consider the companion classes of the outsets of a transition graph and introduce a directed multigraph, called an essential motion, whose vertices are such companion classes. We show that all one-out graphs obtained from an essential motion represent 0-context graphs of reactions systems with isomorphic transition graphs. All such 0-context graphs are obtained from one another by swapping the outgoing edges of companion vertices.
Publication Title
Fundamenta Informaticae
Volume
175
Issue
1-4
First Page
187
Last Page
199
Digital Object Identifier (DOI)
10.3233/FI-2020-1953
ISSN
01692968
Citation Information
Genova, Daniela, Hoogeboom, Hendrik Jan, and Jonoska, Nataša. ‘Companions and an Essential Motion of a Reaction System’. 1 Jan. 2020 : 187 – 199.