Equivalenza e minimizzazione di automi Stati equivalenti
Equivalenza e minimizzazione di automi Stati equivalenti
Equivalenza e minimizzazione di automi Stati equivalenti
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Esempio<br />
Start<br />
0<br />
0 1<br />
0<br />
A B C D<br />
1<br />
0<br />
E<br />
1<br />
F<br />
0<br />
1<br />
G<br />
0<br />
1<br />
H<br />
1<br />
0<br />
ˆδ(C, ɛ) ∈ F , ˆ δ(G, ɛ) /∈ F ⇒ C ≡ G<br />
ˆδ(A, 01) = C ∈ F , ˆ δ(G, 01) = E /∈ F ⇒ A ≡ G<br />
Cosa si puo’ <strong>di</strong>re su A e E ?<br />
Start<br />
0<br />
0<br />
1<br />
<strong>Equivalenza</strong> e <strong>minimizzazione</strong> <strong>di</strong> <strong>automi</strong><br />
0 1<br />
0<br />
A B C D<br />
1<br />
0<br />
E<br />
1<br />
F<br />
0<br />
1<br />
G<br />
0<br />
1<br />
H<br />
1<br />
0<br />
ˆδ(A, ɛ) =A /∈ F , ˆ δ(E, ɛ) =E /∈ F<br />
ˆδ(A, 1) = F = ˆ δ(E, 1)<br />
Quin<strong>di</strong> ˆ δ(A, 1x) = ˆ δ(E, 1x) = ˆ δ(F , x)<br />
ˆδ(A, 00) = G = ˆδ(E, 00)<br />
ˆδ(A, 01) = C = ˆδ(E, 01)<br />
Conclusione: A ≡ E.<br />
0<br />
1<br />
<strong>Equivalenza</strong> e <strong>minimizzazione</strong> <strong>di</strong> <strong>automi</strong><br />
1<br />
1