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 ?