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