POLITECHNIKA WARSZAWSKA
Wydział Transportu
Ćwiczenia z techniki cyfrowej II
Semestr VII
Synteza sekwencyjnych automatów
synchronicznych
Krzysztof Firląg
K. Firląg -1-
/2007/
P1s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
x2 x1
S
1 1/0 3/1
2 2/1 4/0
3 1/0 3/1
4 2/1 4/0
S /Y
Podziały zewnętrzne: Ąx2(y) = �13 Ąx1(y) = �13 Ą(y) = Ąx2(y)*Ąx1(y) = �13
Struktura kratowa: Graf podziałów:
� � � � � � �
1 2 3 4 12 13 14
1
2
1 � � �
� � �
� � �
� � �
12 13 14
3
4
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
� � � � 1 � � � � � �
� � � �
� � � �
� � � �
13 13 13 13 13 13 1 2 3 4
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� , � ), Tk2 = (� , � ), Tk3 = (� , � ).
12 13 12 14 13 14
Ceny:
Tk1 = (� , � ), Tk2 = (� , � ), Tk3 = (� , � ).
� �
� �
� �
12 13 12 14 13 14
C(� ) = 1+0-1 = 0 C(� ) = 1+0-1 = 0 C(� ) = 1+1-1 = 1
12 12 13
C(� ) = 1+1-1 = 1 C(� ) = 1+2-1 = 2 C(� ) = 1+1-1 = 1
13 14 14
C(Y) = 1+1-1 = 1 C(Y) = 1+2-1 = 2 C(Y) = 1+1-1 = 1
"C = 2 "C = 4 "C = 3
"
"
"
QQ
s J K D T
Tkopt = (�12, �13) � 12 (Q2) � 13 (Q1)
� �
� �
� �
0
00 - 0 0
1 0 1
1
01 - 1 1
2 0 0
10 - 1 0 1
3 1 1
4 1 0 11 - 0 1 0
Zakodowana tablica przejść-wyjść:
(x2) (x1) (x2) (x1)
x
0 1 0 1
Q2Q1
(2) 00 00 10 1 0
(1) 01 01 11 0 1
(3) 11 01 11 0 1
y = nQ1 nx+ Q1 x
(4) 10 00 10 1 0
Y
D2 = x D1 = Q1
(l=0, C=0) (l=1, C=1) K. Firląg -2-
/2007/
P2s. Tablica przejść-wyjść synchronicznego automatu Moore a
X
x3 x2 x1 Y
S Kodowanie wyjść
Y0= 0 0
Y0
1 2 - -
Y1= 0 1
Y1
2 - 3 -
Y2= 1 1
Y2
3 1 4 4
Y3= 1 0
Y3
4 - 1 1
y2y1
S Y
Struktura kratowa: (Podziały zewn. Ą(y2) = �12, Ą(y1) = �14) Graf podziałów:
� � � � � � �
1 2 3 4 12 13 14
1
� �
� �
� �
� �
13 4
2
3
� � �
� � �
� � �
� � �
1 2 3
4
ę! ę! ę! ę! ę! ę! ę! � �
ę! ę! ę! ę! ę! ę! ę! � �
ę! ę! ę! ę! ę! ę! ę! � �
ę! ę! ę! ę! ę! ę! ę! � �
14 12
� �1,�12,�14,�3 �2, �12 �3, �13 �14,�4 � �
14 3 12
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� , � ), Tk2 = (� , � ), Tk3 = (� , � ).
12 14 12 13 13 14
Ceny:
Tk1 = (� , � ), Tk2 = (� , � ), Tk3 = (� , � ).
� �
� �
� �
12 14 12 13 13 14
C(� ) = 2+1-1 = 2 C(� ) = 2+2-1 = 3 C(� ) = 2+2-1 = 3
12 12 13
C(� ) = 2+1-1 = 2 C(� ) = 2+2-1 = 3 C(� ) = 2+2-1 = 3
14 13 14
C(Y2) = 1-1 = 0 C(Y2) = 1-1 = 0 C(Y2) = 2-1 = 1
C(Y1) = 1-1 = 0 C(Y1) = 2-1 = 1 C(Y1) = 1-1 = 0
"C = 4 "C = 7 "C = 7
"
"
"
QQ
s J K D T
Tkopt = (�12, �14) � 12 (Q2) � 14 (Q1)
� �
� �
� �
0
00 - 0 0
1 1 0
1
01 - 1 1
2 1 1
10 - 1 0 1
3 0 1
4 0 0 11 - 0 1 0
Zakodowana tablica przejść-wyjść:
x2x1 (x3) (x2) (x1)
y2 y1
00 01 11
Q2Q1 10
(4) 00 - 10 10 - 1 0
y2 = nQ2
(3) 01 10 00 00 - 1 1
y1 = Q1
(2) 11 - 01 - - 0 1
(1) 10 11 - - - 0 0
Y
D2 = nx1+nQ1 D1 = Q2
(l=1, C=2) (l=1, C=2)
K. Firląg -3-
/2007/
reset clk X=11 S=01 clk clk X=01 S=01 clk
X=00 S=11 clk X=00 S=10 S=11 clk X=11
S=10
K. Firląg -4-
/2007/
P3s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
x3 x2 x1 x3 x2 x1
S
1 0 0
1 1 4 4
- 0 0
2 - 2 4
1 1 0
3 1 4 3
1 0 0
4 1 4 4
S Y
Struktura kratowa: Graf podziałów:
� � � � � � �
1 2 3 4 12 13 14
1
2
1 � �!� �
� �!� �
� �!� �
� �!� �
1 2 12
3
4
ę! ę! ę! ę! ę! ę! ę! � �
ę! ę! ę! ę! ę! ę! ę! � �
ę! ę! ę! ę! ę! ę! ę! � �
ę! ę! ę! ę! ę! ę! ę! � �
3 13
� Ą � � Ą
1,� �
2 2 3 2 3
Podziały zewnętrzne: Ąx3(y) = 1 Ąx2(y) = �3 Ąx1(y) = 1 �! Ą(y) = �3
�
�
�
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� ,� ,� ), Tk2 = (� ,� ), Tk3 = (� ,� ), Tk4 = (� ,� ).
� � �
� � �
� � �
1 2 3 12 13 12 14 13 14
C(� )= 2+0-1 =1 C(� )= 2+2-1 =3 C(� )= 2+2-1 =3 C(� )= 2+2-1 =3
1 12 12 13
C(� )= 2+1-1 =2 C(� )= 2+2-1 =3 C(� )= 2+2-1 =3 C(� )= 2+2-1 =3
2 13 14 14
C(� )= 2+1-1 =2 C(Y) = 2+2-1 =3 C(Y) = 2+2-1 =3 C(Y) = 2+2-1 =3
3
C(Y) = 2+1-1 =2 "C = 9 "C = 9 "C = 9
"C = 7
"
"
"
s
Tkopt = (�1, �2, �3) QQ
� � �
� � �
� � �
� 1 (Q3) � 2 (Q2) � 3 (Q1) J K D T
0
1 1 0 1 00 - 0 0
2 0 1 1 1
01 - 1 1
3 0 0 0
10 - 1 0 1
4 0 0 1
11 - 0 1 0
Zakodowana tablica przejść-wyjść:
(x3) (x2) (x1) (x3) (x2) (x1)
x2x1
00 01 11 00 01 11
Q3Q2Q1
10 10
(3)
000 101 001 000 - 1 1 0 -
(4)
001 101 001 001 - 1 0 0 -
(2)
011 - 011 001 - - 0 0 -
010 - - - - - - - -
y=nx1+ nx2nQ1
(l=1, C=2)
110 - - - - - - - -
111 - - - - - - - -
(1)
101 101 001 001 - 1 0 0 -
100 - - - - - - - -
Funkcje wzbudzeń:
D3 = nx1 D2 = nx2 Q2 D1 = n x2 + Q1
(l=0, C=1) (l=1, C=2) (l=1, C=2) K. Firląg -5-
/2007/
P4s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
X2 X1
S
1 3/0 1/0
2 5/0 -
3 4/0 3/0
4 1/0 3/1
5 2/0 -
S /Y
Struktura kratowa:
� � � � � � � � � � � � � � �
1 2 3 4 5 12 13 14 15 23 24 25 34 35 45
1
2
3
4
5
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
Ą �5 �1 �3 �2 Ą �14 �34 Ą �15 �35 �25 Ą �12 �23
Graf podziałów:
Podziały zewnętrzne:
Ąx2(y) = 1
� �! � �!� � �! � � � �! � �!�
� �! � �!� � �! � � � �! � �!�
� �! � �!� � �! � � � �! � �!�
� �! � �!� � �! � � � �! � �!�
4 3 1 2 5 25 13 14 34
Ąx1(y) = {4,13,(25)}
� �! � �!� � �! � �!� Ą(y) = �13, �24, �45, �4
� �! � �!� � �! � �!�
� �! � �!� � �! � �!�
� �! � �!� � �! � �!�
45 23 15 24 35 12
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� ,� ,� ), Tk2 = (� ,� ,� ), Tk3 = (� ,� ,� ), Tk4 = (� ,� ,� ).
� � �
� � �
� � �
25 23 45 25 23 15 25 35 24 25 35 12
C(� )= 1+1-1 =1 C(� )= 1+1-1 =1 C(� )= 1+1-1 =1 C(� )= 1+1-1 =1
25 25 25 25
C(� )= 1+3-1 =3 C(� )= 1+1-1 =1 C(� )= 1+3-1 =3 C(� )= 1+1-1 =1
23 23 35 35
C(� )= 1+1-1 =1 C(� )= 1+3-1 =3 C(� )= 1+1-1 =1 C(� )= 1+3-1 =3
45 1 24 12
C(Y) = 1+1-1 =1 C(Y) = 1+2-1 =2 C(Y) = 1+1-1 =1 C(Y) = 1+2-1 =2
"C = 6 "C = 7 "C = 6 "C = 7
"
"
"
s
Tkopt = (�25,�23,�45)
� � �
� � � � 25 (Q3) � 23 (Q2) � 45 (Q1)
� � �
QQ
J K D T
1 0 1 0
0
00 - 0 0
2 1 0 0
1
01 - 1 1
3 0 0 0
10 - 1 0 1
4 0 1 1
11 - 0 1 0
5 1 1 1
Zakodowana tablica przejść-wyjść:
Y
(x2) (x1) (x2) (x1)
x
Q3Q2Q1 0 1 0 1
(3) 000 011 000 0 0
001 - - - -
(4) 011 010 000 0 1
y = Q1 x
(1) 010 000 010 0 0
110 - - - -
(5) 111 100 - 0 -
101 - - - -
(2) 100 111 - 0 -
D3 = Q3 D2 = nQ2 nx + nQ3 Q1 nx + Q2 nQ1 x D1 = nQ2 nx
K. Firląg -6-
/2007/
P4_1s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
X2 X1
S
1 5/0 2/0
2 3/1 4/1
3 5/1 4/0
4 1/1 4/0
5 1/1 4/1
S /Y
Struktura kratowa:
� � � � � � � � � � � � � � �
1 2 3 4 5 12 13 14 15 23 24 25 34 35 45
1
2
3
4
5
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
�45 �1 �2 �1 �13 Ą �13 Ą �2 Ą 1 Ą Ą �45 Ą
Graf podziałów:
Podziały zewnętrzne:
Ąx2(y) = �1
� �! � �!� �!� � �! 1
� �! � �!� �!� � �!
� �! � �!� �!� � �!
� �! � �!� �!� � �!
3 2 1 45 24
Ąx1(y) = �25
� � � � �! �
� � � � �! �
� � � � �! �
� � � � �! �
15 4 35 5 13
Ą(y) = Ą = {1,25,34}
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� ,� ,� ), Tk2 = (� ,� ,� ), Tk3 = (� ,� ,� ), Tk4 = (� ,� ,� ).
24 13 12 24 13 14 24 13 23 24 13 34
C(� )= 1+0-1 =0 C(� )= 1+0-1 =0 C(� )= 1+0-1 =0 C(� )= 1+0-1 =0
24 24 24 24
C(� )= 1+1-1 =1 C(� )= 1+1-1 =1 C(� )= 1+1-1 =1 C(� )= 1+1-1 =1
13 13 13 13
C(� )= 1+2-1 =2 C(� )= 1+3-1 =3 C(� )= 1+2-1 =2 C(� )= 1+3-1 =3
12 14 23 34
C(Y) = 1+3-1 =3 C(Y) = 1+2-1 =2 C(Y) = 1+3-1 =3 C(Y) = 1+2-1 =2
"C = 6 "C = 6 "C = 6 "C = 6
s
Tkopt = (�24,�13,�12)
� � �
� � � � 24 (Q3) � 13 (Q2) � 12 (Q1)
� � �
QQ
J K D T
1 0 1 0
0
00 - 0 0
2 1 0 0
1
01 - 1 1
3 0 1 1
10 - 1 0 1
4 1 0 1
11 - 0 1 0
5 0 0 1
Zakodowana tablica przejść-wyjść:
Y
(x2) (x1) (x2) (x1)
x
Q3Q2Q1 0 1 0 1
000 - - - -
(5) 001 010 101 1 1
(3) 011 001 101 1 0
y = nQ2 nQ1 + Q1 nx +
(1) 010 001 100 0 0
+ nQ3 nQ2
110 - - - -
111 - - - -
(4) 101 010 101 1 0
(2) 100 011 101 1 1
D3 = x D2 = nQ2 n x D1 = nQ2 nQ1 + Q2 nx + Q1x
K. Firląg -7-
/2007/
P5s. Tablica przejść-wyjść synchronicznego automatu Moore a
X
X4 X3 X2 X1 y2 y1
S
1 - 2 6 - 0 0
2 1 2 6 - 1 0
3 - 2 6 - 1 0
4 2 1 3 6 1 1
5 - 1 4 5 0 1
6 1 2 5 5 0 0
S Y
Graf podziałów:
�
�
�
�
34
Podziały zewnętrzne:
Ą(y2) = �156
� � �!� � �! � � � �!�
1 � � �!� � �! � � � �!�
� � �!� � �! � � � �!�
� � �!� � �! � � � �!�
12 123 4 156 45 134 124 5
Ą(y1) = �45
� �
� �
� �
� �
56 36
Ceny podziałów: C(�i) = n + l - 1 Ceny wyjść: CĄ(yi) = l - 1
�
�
�
Rodzina końcowa optymalna Tkopt = (� , � � ), (sprawdzić iloczyn)
� � �
� � �
� � �
12 45, 156
s
� 12 (Q3) � 45 (Q2) �156 (Q1)
1 0 0 1
QQ
J K D T
2 0 0 0
0
00 - 0 0
3 1 0 0
1
01 - 1 1
4 1 1 0
10 - 1 0 1
5 1 1 1
11 - 0 1 0
6 1 0 1
Zakodowana tablica przejść-wyjść:
(x4) (x3) (x2) (x1)
x2x1
y2 y1
00 01 11 10
Q3Q2Q1
(2) 000 001 000 101 - 1 0
(1) 001 - 000 101 - 0 0
011 - - - - - -
y2 = nQ1
010 - - - - - -
y1 = Q2
(4) 110 000 001 100 101 1 1
(5) 111 - 001 110 111 0 1
(6) 101 001 000 111 111 0 0
(3) 100 - 000 101 - 1 0
Funkcje wzbudzeń:
D3 = x2 D2 = Q3 Q1 x2 D1 = nQ2 x2 + nQ2 nx1 + x2 nx1 + Q2 nx2 x1
(l=0, C=1) (l=2, C=3) (l=1, C=2)
K. Firląg -8-
/2007/
X
X4 X3 X2 X1 y2 y1
S
1 - 2 6 - 0 0
2 1 2 6 - 1 0
3 - 2 6 - 1 0
4 2 1 3 6 1 1
5 - 1 4 5 0 1
6 1 2 5 5 0 0
S Y
Struktura kratowa:
� � � � � � � � �
12 13 14 15 16 23 24 25 26
1
2
3
4
5
6
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
1 Ą Ą Ą Ą Ą Ą Ą Ą
� � � � � � � � �
34 35 36 45 46 56 123 124 125
1
2
3
4
5
6
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
� Ą � � Ą � � � Ą
45 56 56 45 4 5
� � � � � � �
126 134 135 136 145 146 156
1
2
3
4
5
6
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
Ą � Ą Ą Ą Ą �
45 45
K. Firląg -9-
/2007/
P6s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
X2 X1
S
1 2/0 4/0
2 5/0 3/0
3 3/0 1/1
4 4/1 5/1
5 1/1 2/0
S /Y
Struktura kratowa:
� � � � � � � � � � � � � � �
1 2 3 4 5 12 13 14 15 23 24 25 34 35 45
1
2
3
4
5
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą
Podziały zewnętrzne: Ąx2(y) = �45 Ąx1(y) = �34
Ą(y) = �45 *�34 = {4,5,3,12}
P7s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
X2 X1
S
Kodowanie wyjść
1 2/ Y4 1/ Y2
Y1= 0 0
2 5/ Y1 4/ Y3
Y2= 0 1
3 1/ Y3 3/ Y3
Y3= 1 1
4 3/ Y1 5/ Y4
Y4= 1 0
5 4/ Y1 2/ Y2
y2y1
S /Y
Struktura kratowa:
� � � � � � � � � � � � � � �
1 2 3 4 5 12 13 14 15 23 24 25 34 35 45
1
2
3
4
5
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą
Podziały zewnętrzne: Ąx2(y2) = � Ąx1(y2) = �
13 15
Ą(y2) = � *� = {1,24,3,5}
13 15
Ąx2(y1) = � Ąx1(y1) = �
3 4
K. Firląg -10-
Ą(y1) = �3 *�4 = {125,3,4}
/2007/
P8s. Tablica przejść-wyjść synchronicznego automatu Moore a
X
X2 X1 y2 y1
S
1 2 4 0 0
2 5 3 1 0
3 4 1 1 0
4 4 5 0 1
5 1 2 1 1
S Y
Struktura kratowa:
� � � � � � � � � � � � � � �
1 2 3 4 5 12 13 14 15 23 24 25 34 35 45
1
2
3
4
5
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę! ę!
Ą Ą � Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą Ą
2
Graf podziałów:
Podziały zewnętrzne:
Ą(y2) = �
14
� �! � � �
� �! � � �
� �! � � �
� �! � � �
3 2 14 45
Ą(y1) = �
45
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� ,� ,� ), Tk2 = (� ,� ,� ).
� � �
� � �
� � �
14 45 3 14 45 2
C(� )= 1+3-1 =3 C(� )= 1+3-1 =3
14 14
C(� )= 1+2-1 =2 C(Y2) = 1-1 =0 C(� )= 1+2-1 =2 C(Y2) = 1-1 =0
45 45
C(� ) = 1+3-1 =3 C(Y1) = 1-1 =0 C(� ) = 1+2-1 =2 C(Y1) = 1-1 =0
3 2
"C = 8 "C = 7
"
"
"
s
Tkopt = (�14,�45,�2) � 14 (Q3) � 45 (Q2) �2 (Q1)
� � �
� � �
� � �
QQ
J K D T
1 0 0 0
0
00 - 0 0
2 1 0 1
1
01 - 1 1
3 1 0 0
10 - 1 0 1
4 0 1 0
5 1 1 0 11 - 0 1 0
Zakodowana tablica przejść-wyjść:
(x2) (x1)
X
y2 y1
0 1
Q3Q2Q1
(1) 000 101 010 0 0
001 - - - -
011 - - - -
y2 = Q3
(l=1, C=0)
(4) 010 010 110 0 1
y1 = Q2
(5) 110 000 101 1 1
(l=1, C=0)
111 - - - -
(2) 101 110 100 1 0
(3) 100 010 000 1 0
D3=Q1+Q2x+nQ3nQ2nx D2=nQ3x+nQ3Q2+Q3nQ2nx
K. Firląg -11-
D1=Q3Q2x+nQ3nQ2nx
/2007/
(l=3, C=3) (l=2, C=2) (l=2, C=2)
P9s. Tablica przejść-wyjść synchronicznego automatu Mealy ego
X
X3 X2 X1
S
1 6/0 -/0 6/0
2 6/0 2/1 4/1
3 5/0 3/1 -/0
4 6/1 2/0 4/0
5 5/1 3/1 6/1
6 -/1 1/1 -/0
S /Y
Graf podziałów:
� � �! � � � �! � � �! �
� � �! � � � �! � � �! �
� � �! � � � �! � � �! �
� � �! � � � �! � � �! �
156 12 35 46 34 45 125 35
Podziały zewnętrzne:
ę!
ę!
ę!
ę!
Ąx3(y) = �123
� � �! � � � � �! � � �! �
� � �! � � � � �! � � �! �
� � �! � � � � �! � � �! �
� � �! � � � � �! � � �! �
15 56 135 124 25 134 24 23 16
Ąx2(y) = �14
Ąx1(y) = �25
ę! ę!
ę! ę!
ę! ę!
ę! ę!
Ą(y)={1,2,3,4,5,6}=0
� � � �! 1 �
� � � �! �
� � � �! �
� � � �! �
24 13 123 6
Rodziny końcowe: (sprawdzić iloczyn)
Tk1 = (� ,� ,� ), Tk2 = (� ,� ,� ).
� � �
� � �
� � �
123 135 124 123 24 35
C(� )= 2+0-1 =1 C(� )= 2+0-1 =1
123 123
C(� )= 2+1-1 =2 C(Y) = 2+3-1 =4 C(� ) = 2+1-1 =2 C(Y) = 2+3-1 =4
135 24
C(� )= 2+1-1 =2 "C = 9 C(� ) = 2+1-1 =2 "C = 9
124 35
s
Tkopt = (�123,�135,�124)
� � �
� � �
� � �
� 123 (Q3) � 135 (Q2) �124 (Q1)
1 1 1 0
QQ
J K D T
2 1 0 0
0
00 - 0 0
3 1 1 1
1
01 - 1 1
4 0 0 0
10 - 1 0 1
5 0 1 1
11 - 0 1 0
6 0 0 1
Zakodowana tablica przejść-wyjść:
(x3) (x2) (x1) (x3) (x2) (x1)
x2x1
00 01 11 00 01 11
Q3Q2Q1
10 10
(4)
000 001 100 000 - 1 0 0 -
(6)
001 - 110 - - 1 1 0 -
(5)
011 011 111 001 - 1 1 1 -
010 - - - - - - - -
y = ?
(l=3, C=4)
(1)
110 001 - 001 - 0 0 0 -
(3)
111 011 111 - - 0 1 0 -
101 - - - - - - - -
(2)
100 001 100 000 - 0 1 1 -
Funkcje wzbudzeń:
D3 = nx2 x1 D2 = Q1 nx2 D1 = n x1 + Q2
K. Firląg -12-
(l=0, C=1) (l=1, C=2) (l=1, C=2) /2007/
X
X3 X2 X1
S
1 6/0 -/0 6/0
2 6/0 2/1 4/1
3 5/0 3/1 -/0
4 6/1 2/0 4/0
5 5/1 3/1 6/1
6 -/1 1/1 -/0
S /Y
Struktura kratowa:
� � � � � � � �
�
12 13 14 15 16 23 24 25 26
1
2
3
4
5
6
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
� � � ,� Ą Ą Ą � ,� � � Ą
135, 35 124 24 16 6 24 24
� � � � � � � �
�
34 35 36 45 46 56 123 124 125
1
2
3
4
5
6
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę! ę! ę!
� Ą Ą � ,� �15,�135,�24,�156 1 � �
�
45 35 35 356 135 35
� � � �
� � �
126 134 135 136 145 146 156
1
2
3
4
5
6
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
ę! ę! ę! ę! ę! ę! ę!
� � Ą Ą Ą Ą
Ą
24 124
K. Firląg -13-
/2007/