Esempio teorema equivalenza Mealy-Moore
Es: automa di Mealy che “riconosce” le sequenze 101 e 110 A: nessun bit della sequenza B: “1” (primo bit) C: “11” (primi due bit sequenza 2) D: “10” (primi due bit sequenza uno)
Passo uno: Q’ = Qx C,0 A,0 B,0 C,1 A,1 B,1 D,0 D,1
Funzione ’ l'((q,b))=b, qQ, b l'((A,0))=0, l'((A,1))=1 È il “nome” di uno stato di Moore l'((q,b))=b, qQ, b A,0 A,1 B,0 C,1 C,0 D,0 D,1 B,1 1 l'((A,0))=0, l'((A,1))=1 l'((B,0))=0, l'((B,1))=1 l'((C,0))=0, l'((C,1))=1 l'((D,0))=0, l'((D,1))=1
Funzione ’ d'((q, b),a) = (d(q,a), l(q,a)) 1 A,0 A,1 B,0 C,1 Stato di Mealy Stato di Moore d'((q, b),a) = (d(q,a), l(q,a)) 1 Stato di Moore A,0 A,1 B,0 C,1 C,0 D,0 D,1 B,1 1 1 1 1
Automa di Moore equivalente