POLITECHNIKA WARSZAWSKA
Wydział Transportu
Ćwiczenia z techniki cyfrowej II
Semestr VIII
Synteza sekwencyjnych automatów
asynchronicznych
Krzysztof Firl g
K. FirlÄ…g -1-
P1a. Zbudować jako układ asynchroniczny przerzutnik synchroniczny typu D
wyzwalany przednim (narastajÄ…cym) zboczem zegara.
Wykres czasowy
Ik
D

1 2 1 3 1 2 4 2 1 3 5 6 5 7 5 6 8 2 4 3 5 7 8 7 8 2 1
Pierwotna tablica przejść-wyjść automatu
Clk D
00 01 11 10 QD
S

1 3  2 0

2 1  4 0

3 1 5  0

4  3 2 0

5  7 6 1

6 8  5 1

7 8 5  1

8 7  2 1
S QD
Redukcja stanów pseudorównoważnych (brak)
Wykres zgodności
3 1 4 5 7 8
2 6
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš
= {{124},{3},{567},{8}}
Minimalna tablica p-w automatu Moore a
Clk D
00 01 11 10 QD
S
{1,2,4} 0

1 2
{3}

2 1 3  0
{5,6,7}

3 4 1
{8}

4 3  1 1
S QD
Podziały wewnętrzne
(00) = {12,34}= Ä12 (11) = {1,23,(4)}
(01) = {12,34}= Ä12 (10) = {14,3,(2)}
K. FirlÄ…g -2-
Rodzina koÅ„cowa Tk = (Ä12, Ä14) (iloczyn zero)

QQ
S R
s
Ä (Q2) Ä (Q1)
12 14
1
00 -
1 0 0
0 1
01
2 0 1
1 0
10
3 1 1
11 - 1
4 1 0
Zakodowana tablica przejść-wyjść
Clk D
00 01 11 10 QD
Q2Q1
1 00 00 01 00 00 0
QD = Q2
2 01 00 01 11  0
3 11 10 11 11 11 1
4 10 10 11  00 1
Q2 Q1 QD
q2 = Q2 nClk + Q2 Q1 + Q1 Clk
q1 = nClk D + Q1 D + Q1 Clk hazard
Q2
Q1
QD
oscylacje
D=0 clk D=1 clk D=0 clk D=1 D=0 D=1
S=00
QD=0 S=01 S=11 S=10 S=00 S=01 S=00
QD=1
K. FirlÄ…g -3-
P3a. Dane są drzwi i brzęczyk sterowane przyciskami a i k następująco:
- wciśnięcie a po raz pierwszy  zaczyna działać brzęczyk,
- wciśnięcie a po raz drugi  drzwi się zamykają, a przestaje działać brzęczyk,
- wciśnięcie k  otwarcie drzwi lub koniec brzęczyka (jeśli były załączone)
- a i k nie są naciskane równocześnie.
b  wyjście sterujące brzęczykiem (1- włącz.), d  wyjście sterujące drzwiami (1-zamk.)
Wykres czasowy




1 2 3 4 5 6 5 6 1 2 3 4 1 2 1
Pierwotna tablica przejść-wyjść automatu
a k
00 01 11 10 B D
S

1 2 - - 0 0

2 1 - 3 0 0

3 4 - - 1 0

4 1 - 5 1 0

5 6 - - 0 1

6 1 - 5 0 1
S B D
Redukcja stanów pseudorównoważnych (brak)
Wykres zgodności
1 2 3 4 5 6
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš
= {{12},{3},{4},{56}}
Minimalna tablica p-w automatu Moore a
a k
00 01 11 10 B D
S
{1,2}

1  2 0 0
{3}

2 3   1 0
{4}

3 1  4 1 0
{5,6}

4 1  0 1
S B D
K. FirlÄ…g -4-
Minimalna tablica p-w automatu Mealy ego
a k
00 01 11 10 00 01 11 10
S
{1,2}

1  2 00 00 - -0
{3}

2 3   10 - - 10
{4}

3 1  4 10 -0 - --
{5,6}

4 1  01 0- - 01
S B D
Podziały wewnętrzne
(00) = {1,23,4} (11) = {(1423)}= 1
(01) = {1234}= 1 (10) = {12,34} = Ä12

Rodzina koÅ„cowa Tk = (Ä12, Ä14) (iloczyn zero)
QQ
s
S R
Ä (Q2) Ä (Q1)
12 14
1
00 -
1 0 0
0 1
2 0 1 01
3 1 1 1 0
10
4 1 0
11 - 1
Zakodowana tablica przejść-wyjść
a k
00 01 11 10 B D
Q2Q1
(1)
00 00 00 - 01 0 0
B = Q1
(2)
01 11 - 01 1 0
D = Q2 nQ1
(3)
11 11 00 - 10 1 0
(4)
10 10 00 - 10 0 1
Q2 Q1 B D
q2 = Q2 nk + Q1 a k
q1 = nQ2 a + Q1 na nk + nQ2 Q1 nk hazard
K. FirlÄ…g -5-
P4a. Układ o 3 wejściach a, b, c i wyjściu y. Pojawienie się impulsu b bezpośrednio po
impulsie a powoduje pojawienie siÄ™ impulsu y=b. Impulsy a, b, c nie zachodzÄ… na siebie.




1 2 3 4 3 4 1 2 5 2 3 4 6 2 1
Pierwotna tablica przejść-wyjść automatu
a b c
000 001 011 010 110 111 101 100 y
S

1 2 - - - - - - 0

2 1 - 5 - - - 3 0

3 4 - - - - - - 0

4 1 - 6 - - - 3 0

5 2 - - - - - - 0

6 2 - - - - - - 1
S y
Wykres zgodności
6 1 2 3 4
5
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš
= {{125},{34},{6}} Åš = {{16},{25},{34}}
(Moora, Mely ego) (Mealy ego)
Minimalna tablica p-w automatu Moore a
a b c
000 001 011 010 110 111 101 100 y
S
{1,2,5}

1 - - - - 2 0
{3,4}

2 1 - 3 - - - 0
{6}

3 1 - - - - - - 1
S y
Podziały wewnętrzne
(000) = {13,2} = Ä2 (001) = {12,(3)} (010) = {1,23}= Ä1 (100) = {12,(3)}
QQ
S R
s
Ä (Q2) Ä (Q1)
1 2
Rodzina
1 -
00
1 0 1
końcowa
0 1
01
2 1 0
Tk = ( 1, 2)
Ä Ä
1 0
10
3 1 1
11 - 1
Zakodowana tablica przejść-wyjść
a b c
000 001 011 010 110 111 101 100 y
Q2Q1
00 - - - - - - -
(1)
01 01 01 - 01 - - - 10 0
y = Q2 Q1
(3)
11 01 - 11 - - - 1
(2)
10 10 01 - 11 - - - 10 0
Q2 Q1 y
q2 = a +Q2 b + nQ1 nc q1 = Q1 na + b + c
K. FirlÄ…g -6-
P4a. Asynchroniczny dzielnik częstotliwości przez 4.
Wykres czasowy Pierwotna tablica przej ść-wyjść automatu
g
0 1 y
S

1 2 0

2 3 1
g

3 4 1
y 5 1
4

5 6 1
1 2 3 4 5 6 7 8 1

6 7 0

7 8 0

8 1 0
S y
Redukcja stanów pseu dorównoważnych (brak)
Minimalizacja niemożliwa
Podziały wewnętrzne
(0) = {18,23,45,67} (1) = {12,34,56,78}
Warunki separacji
18-23, 18-45, 18-67, 23-45, 23-67, 45-67, 12-34, 12-56, 12-78, 34-56, 34-78, 56-78.

Rodzina koÅ„cowa Tk = (Ä1238, Ä1256, Ä1678) (iloczyn zero)
s
Ä (Q3) Ä (Q2) Ä (Q1)
1238 1256 1678
1 0 0 0
2 0 0 1
QQ
S R
3 0 1 1
1
00 -
4 1 1 1
0 1
01
5 1 0 1
1 0
6 1 0 0 10
7 1 1 0
11 - 1
8 0 1 0
Zakodowana tablica przejść-wyjść
g
0 1 y
Q3Q2Q1
(1)
000 000 001 0
(2)
001 011 001 1
(3)
011 011 111 1
(8)
010 000 010 0
y = Q1
(7)
110 110 010 0
(4)
111 101 111 1
(5)
101 101 100 1
(6)
100 110 100 0
Q3 Q2 Q1 y
K. FirlÄ…g -7-
P7a. Automat wydający napoje. Przyjmuje monety 1 i 2 zł. Napój kosztuje 2 zł. Automat
może wydać napój po przyjęciu odpowiedniej kwoty, lub zwrócić monety w przypadku
błędnego wrzutu 1+2=3zł.
n  wydaj napój
2z
z  zwrot monet
1z
n
z
1 2 3 4 1 5 1 2 3 6 1
Pierwotna tablica przejść-wyjść automatu
2z 1z
00 01 11 10 n z
S

1 2 - 5 0 0

2 3 - - 0 0

3 4 - 6 0 0

4 1 - - 1 0

5 1 - - 1 0

6 1 - - 0 1
S n z
Redukcja stanów pseudorównoważnych (brak)
Wykres zgodności
1 5 4 6 2 3
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš = {{1},{2},{3},{45},{6}} Åš = {{15},{2},{3},{46}}
(Moora, Mely ego) (Mealy ego)
Minimalna tablica p-w automatu Moore a
2z 1z
00 01 11 10 n z
S


{1} 1 2 - 4 0 0

{2} 2 3 - - 0 0


{3} 3 4 - 5 0 0

{4,5} 4 1 - - 1 0

{6} 5 1 - - 0 1
S n z
Minimalna tablica p-w automatu Mealy ego
2z 1z
00 01 11 10 00 01 11 10
S
{1,5}

1 2 - 00 00 - 10
{2}

2 3 - - 00 00 - -
{3}

3 4 - 4 00 -0 - 0-
{4,6}

4 1 - 00 10 - 01
QQ
S R
S n z
1 -
Podziały wewnętrzne 00
0 1
01
(00) = {14,23} = Ä14 (01) = {12,34} (10) = {1,34,(2)}
1 0
10
11 - 1

Rodzina koÅ„cowa Tk = (Ä12, Ä14) (iloczyn zero)
K. FirlÄ…g -8-
P8a. Zamek szyfrowy otwierany dwoma przyciskami w nast ępujący sposób:
00, 01, 00, 10, 11
Graf przejść
Tablica przejść-wyjść automatu
x2 x1
00 01 11 10 y
S

1 2 - 6 0

2 3 6 - 0

3 2 - 4 0

4 1 - 5 0

5 - 6 6 1

6 1 0
S y
Wykres zgodności
1 2 3 4 5 6
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš
= {{1},{23},{4},{5},{6}}
Minimalna tablica p-w automatu Moore a
x2 x1
00 01 11 10 y
S
{1}

1 2 - 5 0
{2,3}

2 5 3 0
{4}

3 1 - 4 0
{5} 4 - 5 5 1

{6} 5 1 0

S QD
Podziały wewnętrzne
(00) = {2,135,(4)} (11) = {25,34,(1)}
(01) = {12,45,(3)} (10) = {145,23}
K. FirlÄ…g -9-
00
00
01
00
10
11
01
10
11
01, 10
01
00
10
11
1
2
3
4
5
6
0
0
0
1
0
0
01
00 10 11
Rodzina koÅ„cowa Tk = (Ä12, Ä23, Ä25) (iloczyn zero)

s
Ä (Q3) Ä (Q2) Ä (Q1)
12 23 25
QQ
S R
1 0 0 0
1
00 -
2 0 1 1
0 1
01
3 1 1 0
1 0
10
4 1 0 0
11 - 1
5 1 0 1
Zakodowana tablica przejść-wyjść
x2 x1
y
00 01 11 10 00 01 11 10
Q3Q2Q1
1 000 000 011 - 101 0 0 0 - 0
001 - - - - -
2 011 011 011 101 110 0 0 0 0 0
010 - - - - - -
3 110 000 - 100 110 0 0 - - 0
111 - - - - - - -
5 101 000 101 101 101 0 0 0 0 0
4 100 101 100 101 1 - - 1 -
y = Q3 nQ2 nQ1
q3 = x2 + Q3 x1
q2 = nQ3 nx2 x1 + Q2 x2 nx1 + Q2 Q1 nx2 + Q2 Q1 nx1
q1 = nx2 x1 + Q1 x1 + nQ2 x2 nx1 + nQ3 Q2 Q1 nx2 + nQ2 Q1 x2 hazard
K. FirlÄ…g -10-
P10a. Zrealizuj automat zadany tablicą przejść-wyjść.
X
x3 x2 x1 y
S

1 4 0

2 1 0


3 1 2 1

4 3 0
Podziały wewnętrzne
(x3) = {12,34} (x2) = {13,24} (x1) = {14,23}

Rodzina koÅ„cowa Tk = (Ä12, Ä13, Ä14) (iloczyn zero)
QQ
s
Ä (Q3) Ä (Q2) Ä (Q1) S R
12 13 14
1 0 0 0 1
00 -
2 0 1 1
0 1
01
3 1 0 1
1 0
10
4 1 1 0
11 - 1
Zakodowana tablica przejść-wyjść
x2x1
y
00 01 11 10 00 01 11 10
Q3Q2Q1
1 000 000 000 110 - 0 0 0 0 -
001 - - - - - - Moor
y = Q3 nQ2
2 011 000 110 011 - 0 0 0 0 -
010 - - - - - -
Mealy
4 110 101 110 110 - 0 - 0 0 -
y = Q3 nx1
111 - - - - - -
3 101 101 000 011 - 1 1 0 0 -
100 - - - - - -
q3 = Q3 nx1 + nQ1x2 + Q2 nx2x1 + Q3 Q2 nx2 + Q2 nQ1 nx1
q2 = x2 + Q2 x1
q1 = Q1 x2 + Q3 nx1 hazard
K. FirlÄ…g -11-
P11a. Zrealizuj automat zadany pierwotn ą tablicą przejść-wyjść.
x2x1
00 01 11 10 y
S

1 - 3 - 0

2 7 - 4 0

3 - 6 4 0

4 - - 12 0

5 10 12 - 0

6 - - - 1

7 2 - 11 0

8 3 1 - 1

9 8 3 - 1

10 5 1 - 0
11 2 3 - 11 1
12 8 - 12 9 1
S y
Redukcja stanów pseudorównoważnych: 2,5; 7,10; 6,12
x2x1
00 01 11 10 y
S
{1}

1 - 3 - 0
{2,5}

2 6 5 4 0
{3}

3 - 5 4 0
{4}

4 - - 5 0
{6,12}

5 7 - 8 1
{7,10}

6 2 1 9 0
{8}

7 3 1 - 1
{9}

8 7 3 - 1
{11}

9 2 3 - 1
S y
QQ
S R
Wykres zgodności 7 5
1 -
00
0 1
01
6 9 1 8 3 4 2
1 0
10
11 - 1
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš Åš
= {{1},{24},{3},{5},{6},{78},{9}} lub = {{1},{24},{3},{58},{6},{7},{9}}
(Moora)
Åš
= {{178},{24},{3},{9},{5},{6}} lub Åš = {{17},{24},{3},{9},{58},{6}}
(Mealy ego)
Minimalna tablica p-w automatu Mealy ego
x2x1
00 01 11 10 00 01 11 10
S
{1,7,8}

1 3 1 0 0 1
{2,4}
5 4
2 0 0 - 0

{3}
3 - 4

2 - 0 - 0
{5}

4 1 - 1 1 - 1 1
{6}

5 2 1 6 0 0 0 -
{9}

6 2 3 - - - - 1
S y
Podziały wewnętrzne
(00) = {14,256,(3)} (01) = {136,25,(4)} (11) = {15,234,(6)} (11) = {14,23,56}
Warunki elementarne: 14-25, 14-26, 13-25, 36-25, 15-24, 15-34, 14-23, 14-56, 23-56
Tk = ( 14, 25, 156)
Ä Ä Ä
K. FirlÄ…g -12-
P12a. Zrealizuj automat zadany pierwotn ą tablicą przejść-wyjść.
x2x1
00 01 11 10 y
S

1 - 2 - 1

2 8 - - 0

3 - 2 4 0

4 - - 2 0

5 - 10 - 0

6 - 1 - 1

7 - 5 - 1

8 5 2 4 0

9 - 2 - 0

10 3 - - 1
S y
Redukcja stanów pseudorównoważnych: 3,8
x2x1
00 01 11 10 y
S
{1}

1 - 2 - 1
{2}

2 3 - - 0
{3,8}

3 5 2 4 0
{4}

4 - - 2 0
{5}

5 - 9 - 0
{6}

6 - 1 - 1
{7}

7 - 5 - 1
{9}

8 - 2 - 0
{10}

9 3 - - 1
S y
Wykres zgodności 9 5
QQ
S R
1 -
00
6 2 7
0 1
01
1 0
10
3 8
11 - 1
1 4
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš
= {{16},{234},{5},{79},{8}}
(Moora)
Åš
= {{126},{34},{579},{8}}
(Mealy ego)
Minimalna tablica p-w automatu Mealy ego
x2x1
00 01 11 10 00 01 11 10
S
{1,2,6}

1 2 0 1 0 1
{3,4}
3 1
2 0 0 0 0

{5,7,9}
2
3 0 0 1 1

{8}

4 - 1 - - 0 0 -
S y
Podziały wewnętrzne
(00) = {1234}=1 (01) = {1,23,4} (11) = {124,3} (11) = {1,2,3,(4)}
Warunki separacji: 1-23, 1-4, 23-4, 124-3, 1-2, 2-3, 1-3 (Nie da si
Ä™, rozbijamy 124-3 na war. elementarne 12-3, 14-3)
Tk = ( 14, 12)
Ä Ä
K. FirlÄ…g -13-
P13a. Zrealizuj automat zadany pierwotn ą tablicą przejść-wyjść.
x2x1
00 01 11 10 y
S

1 - 2 - 1

2 8 - - 0

3 - 2 4 0

4 - - 2 0

5 - 10 4 0

6 - 1 - 1

7 - 5 - 1

8 5 2 4 0

9 - 2 - 0

10 3 - - 1
S y
Redukcja stanów pseudorównoważnych: 3,8
x2x1
00 01 11 10 y
S
{1}

1 - 2 - 1
{2}

2 3 - - 0
{3,8}

3 5 2 4 0
{4}

4 - - 2 0
{5}

5 - 9 4 0
{6}

6 - 1 - 1
{7}

7 - 5 - 1
{9}

8 - 2 - 0
{10}

9 3 - - 1
S y
Wykres zgodności 9 5
QQ
S R
1 -
00
6 2 7
0 1
01
1 0
10
3 8
11 - 1
1 4
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš
= {{16},{234},{5},{79},{8}}
(Moora)
Åš
= {{126},{34},{5},{79},{8}} itp. ...
(Mealy ego)
Minimalna tablica p-w automatu Mealy ego
x2x1
00 01 11 10 00 01 11 10
S
{1,2,6}

1 2 0 1 0 1
{3,4}
2 3 1 0 0 0 0

{5}
3 - 4 2 - 0 - 0

{7,9}

4 2 3 - - 1 1
{8}

5 - 1 - - 0 0 -
S y
Podziały wewnętrzne
(00) = {12345}=1 (01) = {1,234,5} (11) = {125,34} (11) = {1,23,4,(5)}
Warunki separacji: 1-234, 1-5, 234-5, 125-34, 1-23, 23-4, 1-4
Rozbijamy na war. elementarne 1-5, 1-23, 1-34, 5-23, 5-34, 12-34, 15-34, 1-23, 1-4, 4-23
Tk = ( 34, 23, ?? ) iloczyn 34* 23={15,2,3,4} Struk. Krat. 5 - zamyka siÄ™ na siebie
Ä Ä Ä Ä Ä Ä
K. FirlÄ…g -14-
P14a. Zrealizuj automat zadany minimaln ą tablicą przejść-wyjść.
X
x3 x2 x1 Y
S

1 4 3 0
4
2 1

3 1 0


4 2 - 1
S y
Podziały wewnętrzne (warunki separacji)
(x3) = {13,24} = Ä13 (x2) = {124,3} = Ä3 (x1) = {13,2,(4)}
Wyznaczanie TK
Ä
13 - spełnienia warunki separacji: (x3)={13-24} i (x1)={13-24}
zerowy iloczyn po dodaniu: Ä12 lub Ä14
Brak spełnienia warunków separacji: {124-3}
Rozbijamy warunek separacji na warunki elementarne:
{124-3} => {14-3}, {24-3}
Warunki elementarne są spełnione przez:
{24-3} przez Ä13,
{14-3} przez 14 (podział spełniający zerowy iloczyn)
Ä
PodziaÅ‚y zewnÄ™trzny: Ä„(y) = Ä13
TK = (Ä ,Ä )
13 14
Tkopt = (Ä13,Ä14)
s
Ä13 (Q2) Ä14 (Q1)
1 1 1
Policzyć cene
2 0 0
3 1 0
4 0 1
Zakodowana tablica przejść-wyjść:
x2x1 x3 x2 x1
Y QQ
S R
Q2Q1
00 01 11 10
1 -
00
2 00 00 01 00 - 1
0 1
01
4 01 00 01 - - 1
1 0
10
1 11 11 01 10 - 0
11 - 1
3 10 11 10 10 - 0
S y
K. FirlÄ…g -15-
P15a. Zrealizuj automat zadany minimaln ą tablicą przejść-wyjść.
X
x4 x3 x2 x1 Y
S

1 5 3 0
3
2 4 1 0

4
3 5 0


4 5 3 1

5 4 4 3 1
S y
Podziały wewnętrzne (warunki separacji)
(x4) = {1,2345} = Ä1 (x3) = {2,1345} = Ä2 (x2) = {123,45} = Ä45 (x1) = {12,345} = Ä12
Wyznaczanie TK
Ä45 * Ä12 = {12,3,45} - zerowy iloczyn po dodaniu: Ä14, 15, Ä24, Ä25,
Ä
Brak spełnienia warunków separacji: {1-2345} i {2-1345}
Rozbijamy warunki separacji na warunki elementarne:
{1-2345} => {1-24}, {1-34}, {1-45} {2-1345} => {2-15}, {2-35}, {2-45}
Warunki elementarne są spełnione przez:
{1-45}, {2-45} przez Ä45, {1-34}, {2-35} przez Ä12,
Ä Ä
{1-24}, {2-15} przez 15 lub 24 (podziały spełniające zerowy iloczyn)
TK1 = (Ä ,Ä ,Ä ), TK2 = (Ä ,Ä ,Ä ). Ä Ä
45 12 15 45 12 24 15 24
1
2
3
4
5
PodziaÅ‚y zewnÄ™trzny: Ä„(y) = Ä45
Ä™! Ä™!
Ä„ {1,2,345} Ä„ {1,2,3,45}
l=2 l=3
s
Ä45 (Q3) Ä12 (Q2) Ä15 (Q1)
Tkopt = (Ä45,Ä12,Ä15)
1 0 1 1
2 0 1 0
Policzyć cene
3 0 0 0
4 1 0 0
5 1 0 1
Zakodowana tablica przejść-wyjść:
x2x1 x4 x3 x2 x1
Y
Q3Q2Q1
00 01 11 10
QQ
S R
3 000 100 101 000 000 0
1 -
00
001 - 101 000 000 -
0 1
01
1 011 011 101 000 011 0
1 0
10
2 010 100 010 000 011 0
11 - 1
110 100 - - - -
111 - 101 - - -
5 101 100 101 100 000 1
4 100 100 101 100 000 1
K. FirlÄ…g -16-
P16a. Zrealizuj automat zadany pierwotn ą tablicą przejść-wyjść.
x2x1
00 01 11 10 y
S
{1}

1 - 3 - 0
{2,5}

2 6 5 4 0
{3}

3 - 5 - 0
{4}

4 - - 5 0
{6,12}

5 7 - 8 1
{7,10}

6 2 1 9 0
{8}

7 3 1 - 1
{9}

8 7 3 - 1
{11}

9 2 3 - 1
S y
Wykres zgodności 7 5
QQ
S R
1 -
00
6 1 8 3 4 2
0 1
01
1 0
10
9
11 - 1
Minimalny zbiór maksymalnych grup stanów zgodnych
Åš Åš
= {{1},{24},{3},{5},{6},{78},{9}} lub = {{1},{24},{3},{58},{6},{7},{9}}
(Moora)
Åš Åš
= {{178},{24},{39},{5},{6}} lub = {{17},{24},{39},{58},{6}}
(Mealy ego)
Minimalna tablica p-w automatu Mealy ego
x2x1
00 01 11 10 00 01 11 10
S
{1,7,8}

1 3 1 0 0 1
{2,4}
5 4
2 0 0 - 0

{3,9}
2 4
3 0 0 1 1

{5}

4 1 - 1 1 - 1 1
{6}

5 2 1 3 0 0 0 -
S y
Podziały wewnętrzne
(00) = {14,235} (01) = {13,23(4)} (11) = {15,234} (11) = {14,2,35}
Warunki elementarne: 14-23, 14-25, 13-25, 15-24, 15-34, 14-35, 14-2, 2-35 (Nie da siÄ™ na 3 przerzutnikach)
Tk = ( 14, 15, {Ä13, Ä24},{Ä2, Ä12, Ä24, Ä35}) struktura krat. Ä35 zamyka siÄ™ na siebie
Ä Ä
K. FirlÄ…g -17-