Corretto il ragionamento di c_junior.

La tabella degli stati è questa

codice:
    1     0
q0 q0/0 q1/0
q1 q2/0 q0/0
q2 q0/0 q1/1
Il fatto che la sequenza possa essere sovrapposta significa che, una volta ricevuto 010, lo stato della macchina non si resetta perché l'ultimo 0 ricevuto non solo completa la sequenza corretta ma potrebbe anche essere il primo 0 di una nuova sequenza, visto che questa inizia e finisce con 0. È per questo che dallo stato q2, con ingresso 1, la macchina si porta nello stato q1 e non q0 (quello iniziale): q1 infatti è proprio lo stato in cui è stato ricevuto il primo 0 della sequenza.