8941511027

Rozpatrzmy graf dla automatu Mealy'ego, obrazujący wczytywanie wszystkich możliwych 8 triad.

Drzewo binarne tworzone wg zasady:

x = 0 => przejdź do lewego poddrzewa, x = 1 => przejdź do prawego poddrzewa.

do stanu a

Ścieżki odpowiadające szukanym triadom zostały wyróżnione. W naszym przykładzie:

d, /identyczne	=>	nowy stan /;
e, g identyczne	=>	nowy stan m;
U
b, c równoważne	=>	nowy stan k.

Wynik minimalizacji:

Czyli: A= {a, k, l, m} -ostatecznie uzyskany zbiór 4 stanów.