Discussioni su tematiche di ingegneria che non trovano collocazione specifica negli altri forum
12/07/2019, 18:02
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 ?
12/07/2019, 19:23
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.
13/07/2019, 11:16
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?
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.