Per ogni stato in cui ci troviamo, quando arriva un nuovo input,
l'automa deve riuscire a portarsi in uno stato stabile.
Questo vuol dire, per esempio, che se ci troviamo in uno stato S ed arriva un
nuovo input I, con un numero finito di transizione di stati
occorre che si arrivi ad uno stato S' tale che in S', l'arco etichettato con I
porti ancora allo stato S'.
Inoltre, se vogliamo che non esistano istanti in cui l'output e' non
significativo, durante il passaggio da S allo stato stabile S', tutti
gli archi con input I abbiano lo stesso output.
~