Ein wichtiger Faktor für den Steuerungsalgorithmus ist, dass jeder Eingangsvektor in der Steuerungseinrichtung zu einem definierten Ergebnis führt. D.h. für 
binäre Eingangssignale können 
unterschiedliche Signalvektoren gebildet werden. Da dies zu jedem Folgeschritt möglich ist, kann eine unüberschaubare Anzahl möglicher Eingabefolgen definiert werden. Diese ist für die Simulation und den Test ein ausschlaggebender Faktor.
Unter der Simulation eines Automaten versteht man die Berechnung der Zustandsfolge 
und der zugehörigen Ausgabenfolge
, die man ausgehend vom Anfangszustand aufgrund der Eingabefolge 
erhält