Matematicamente.it

Buonasera a tutti, ho un problema con questo esercizio : realizzare un automa che riconosca la seguente sequenza : 00-0 (dove con "-" si indica che si può esserci uno 0 o un 1). Il mio prof l'ha fatto così :




Sinceramente non capisco proprio il passaggio da $q_3$ a $q_3'$ quando do ingresso $1$.
Non dovrei avere che $q_3$ e $q_3'$ sono equivalenti ?

Dipende molto dalle specifiche da implementare.

1) 0000 valida
2) 0010 valida

000: se il prossimo bit sara' 0 allora avrai la sequenza 1). Sei il prossimo bit sara' 1 avrai 0001. Vediamo che succede in questo caso.

0001: la sequenza 0001 non e' valida, ma i tre bit in rosso permettono ancora di rientrare nella sequenza valida 2).

I due stati $\text{q}_{3}$ e $\text{q}_{3}^{'}$ permettono di mantenere "valida" questa sequenza finale senza dover riportare il circuito allo stato iniziale, riconoscendo le sequenze 1) e 2) all'interno di una generica stringa lunga a piacere.

Grazie mille per la spiegazione! Sei stato molto preciso.
Ho provato a farne uno da solo con la sequenza 1-01 che riporto qua sotto :



E' giusta?