76
X X |
X | ||||||||||
x |
X |
X | |||||||||
X |
X |
X |
X | ||||||||
X |
ct FI |
X |
X |
X | |||||||
X |
X |
OH |
X |
X |
X | ||||||
X |
X |
X |
u |
X |
X |
X | |||||
X |
X |
X |
X |
V |
X |
X |
X | ||||
X |
CK u |
sy |
X |
X |
K |
X |
X |
X | |||
X |
X |
Dl |
X |
X |
X |
HI |
X |
X |
X | ||
X |
X |
-łk |
EH |
X |
X |
IM |
X |
X |
X | ||
X |
X |
X |
X |
V |
X |
X |
X |
V |
X |
X |
X |
ADCDEFIHIJKI
Rys. 3.12. Tablica trójkątna dla wyznaczania stanów niesprzacznych w przykładzie 3*6
5 |
1 |
i | |
w « |
P |
0 |
t |
(50) ^ |
f |
0 |
0 |
(tw) r |
r |
<r |
5 |
(m) «r |
£ |
0 |
t |
(HM) £ |
E |
t |
1 |
do zbiorów otrzymanych w tablicy na 178.3*13 dołączamy zbiór JednOelementowy A, otrzymując rodzinę zbiorów, która będzie stanowiła podstawę konstrukcji układu minimalnego
A, Elll, DHL, CGK, BFJ
Rodzina ta po,krywa wszystkie stany układu zadanego oraz jest .zamknięta ponlewąż minimalizujemy ilość stanów układu w pełni określonego i zbiory stanów niesprzecznycb są rozją-
Rys. 3-13- Tworzenie maksymalnych zbiorów stanów niespbzecznych w przykładzie 3-6
czne. Na podstawie tej rodziny oraz tablicy przejść/wyjść z rys. 3-11 tworzymy tablicę przejść/wyjść 1 graf układu minimpląego (rys. 3 -IM • 14
Rys. 3-14. Tablica przejść/wyjść oraz graf układu minimalnego z przykładu 3.6
3.3. ZMIANA RODZAJU UKŁADU
Każdy układ sekwencyjny może być zrealizowany jako układ Moore'a lub Mealy'ego. Z opisu słownego można utworzyć grafy lub tablice przejść/wyjść dla obu typów układów. Często jednak posiadamy już tablicę dla jednego z nich i wtedy wygodnie Jest, na jej podstawie, otrzymać bezpośrednio tablicę przejść/wyjść dla drugiego typu układu. Poniżej podamy metody przejścia z układu Mealy'ego na układ Moore'a i odwrotnie C28 str. 185]. Zamiana układu Mealy'ego na układ Moore'a przebiega następująco:
1) Każdej różnej parze q^, yj wewnątrz tablicy Mealy'ego przyporządkowujemy dowolny symbol a^. W przypadku gdy jakiś stan nie występuje wewnątrz tablicy (stan do którego Oie ma dojścia, np. a na rys. 3.14), należy mu też przyporządkować kolejny symbol a^.
2) Otrzymane symbole uważa się za stany układu Moore'a, przypisując
każdemu Ot^ sygnał wyjściowy y^ oraz taki stan następny, jaki miał odpowiadający mu stan układu Meały'ego.
Przykład 3.7 (a)
Układ Mealy'ego dzielący przez 3 (patrz zadanie 3-1) zamienić na układ Moore'a.
Kolejne etapy wskazanej zamiany przedstawione są na rys. 3.15.