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
.