Topic: Construction of an Abstract Network

5.1. Drawing of an automata network N

As we can see from the image above, a network is defined by component automata , connections between them and an output function.

A component automaton is characterized by three partitions: ( , , ) - a characteristic triple.
( , ) is an S-S pair and ( , ) is an I-S pair.

5.2. Construction of an abstract network

We construct the network by the following steps:

1. we define the states of a component automaton


Then we define which other component automata it depends on The structure matrix clearly demonstrates the connections between component automata
2. define internal and external input alphabets


3. define the transition function



4. define the internal input restriction function


5. define the external input restriction function


6. define the output function