An important factor for the control algorithm is that each input vector in the control device leads to a defined result. This means that different signal vectors can be formed for binary input signals . Since this is possible for each subsequent step, an unmanageable number of possible input sequences can be defined. This is a decisive factor for simulation and testing.
The simulation of an automaton is understood to be the calculation of the sequence of states and the associated output sequence, which is obtained starting from the initial state on the basis of the input sequence .