ВУЗ:
Составители:
16
Граф счетчика с нанесенными на него символами переходов выходной
переменной имеет вид:
000
011
1101
00
001
α00
1α0
β1α
0β1
00β
На основе графа запишем таблицу секвенций счетчика:
n n+1
Номер
состояния
A B C A B C
0 0 0 0 α 0 0
1 1 0 0 1 α 0
2 1 1 0 β 1 α
3 0 1 1 0 β 1
4 0 0 1 0 0 β
Из таблицы секвенций составим разностные карты минтермов для
разрядов A
n+1
, B
n+1
, C
n+1
.
A
n+1
C
10
0
1
B
AB
C
00
01 11
A
X α
0 0
1 β
x x
B
n+1
C
10
0
1
B
AB
C
00
01 11
A
X 0
0 β
α 1
x x
C
n+1
