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 created for 
binary input signals. As this is possible for each subsequent step, an unmanageable number of possible input sequences can be defined. This is a decisive factor for the simulation and the test.
The simulation of an automaton is the calculation of the state sequence 
and the corresponding output sequence
, which is obtained from the initial state based on the input sequence 