Piotr Kawalec

Wykład V - 1

Wykład V

Minimalizacja pierwotnych 

tablic przejść-wyjść

Technika cyfrowa

Piotr Kawalec

Wykład V - 2

Technika cyfrowa 

Wyznaczanie maksymalnych grup 
stanów zgodnych

 

  



 Tworzymy 

wykres zgodności 

na którym punkty 

odpowiadające stanom łączymy:



 

linią ciągłą 

jeżeli porównywane stany są 

 zgodne i mają 

niesprzeczne 

wyjścia



 linią przerywaną 

jeżeli porównywane stany 

są 

 zgodne i mają 

sprzeczne

 wyjścia 



 

Stany połączone linią ciągłą tworzą grupy dla 

tablic automatu Moore’a


 Stany połączone w dowolny sposób tworzą 

grupy    dla tablic automatu Mealy’ego 

Piotr Kawalec

Wykład V - 3

Technika cyfrowa 

Tworzenie minimalnej tablicy przejść-
wyjść

 

  



 Dla wyznaczonego zbioru maksymalnych grup 

stanów zgodnych tworzymy minimalną 

tablicę przejść



 

przy łączeniu stanu stabilnego z 

niestabilnym 

 otrzymujemy stan stabilny

 



 

Dla automatu Moore’a tworzymy kolumnę 

wyjść



 Dla automatu Mealy’ego tablicę wyjść 

tworzymy w 

następujący sposób:

 

dla stanów stabilnych

- wartości wyjść takie 

jak

 w odpowiadającej im tablicy pierwotnej

 

dla stanów niestabilnych

 - wpisać wartość 

wyjścia   dla docelowego stanu stabilnego 

jeśli występuje w   wierszu, jeśli nie 

występuje - 

wpisać nieokreślony

 

 

Piotr Kawalec

Wykład V - 4

Technika cyfrowa 

Etapy minimalizacji tablic przejść-
wyjść automatu asynchronicznego

 

  



 Znaleźć grupy stanów pseudorównoważnych 

i połączyć je  



 

Narysować wykres zgodności i wyznaczyć 

minimalny 

zbiór maksymalnych grup stanów 

zgodnych dla 

automatu Moore’a i 

Mealy’ego



 

Wyznaczyć minimalną tablicę przejść-wyjść 

automatu  Moore’a, oraz minimalną tablicę 

przejść automatu 

Mealy’ego



 Wyznaczyć tablicę wyjść automatu Mealy’ego