Abstract:
On a set of all subsets* of behaviours of automata systems where simplest links interconnect graphs an algebra is introduced and numerous subsets of the system behaviour are shown to exist that are obtained by using algebra operations which can give an insight into the system properties. The usefulness of analysis with the aid of super-dense layers is demonstrated.