![]() |
|
3. ABSTRACT NETWORK
Def. An automata network
consists of
3.3. Automaton defined by network
Def. Automata network N defines the resulting automaton AN:
Def.An automaton A' is said to be a realization of automaton A iff there exists a subautomaton of A' which is isomorphic to A.
3.5. Decomposition for given automaton
Def. Automata network N is a decomposition for given automaton A iff AN is a realization of A.
Let ,
,
be a partition on the set of states of automaton
.
3.6. Main theorem of decomposition
Theorem
Given an automaton
and a set of partitions
,
;
then there exists a network N which is a decomposition of A if and only if
.
Last update: 3 August, 2004