Stato morto in un automa
In un automa a stati finiti uno stato x2 è detto stato morto se non ha transizioni in uscita con altri stati.
In uno stato morto non c'è alcun evento in grado di spostare l'automa in un altro stato. Non c'è nessuna transizione possibile.
Se rappresento l'automa con un digrafo, lo stato morto è un nodo senza archi in uscita.
Gli stati morti, bloccanti e finali
Lo stato morto può essere uno stato finale oppure no.
Se non è uno stato finale, lo stato morto è anche uno stato bloccante.
Nota. Lo stato bloccante e lo stato morto sono due proprietà differenti dell'automa perché in uno stato bloccante possono esserci anche transizioni in uscita.
E così via.
