Title

Companions and an Essential Motion of a Reaction System

Document Type

Article

Publication Date

1-1-2020

Subject Area

ARRAY(0x55e57ffd9478)

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

Share

COinS