Page 114 - 4339

Максимальна кількість станів автомата L = 14.
Стани кодуються логічними виразами таким чином:

z  Q Q Q Q ; z  Q Q Q Q ; z  Q Q Q Q ;
1 4 3 2 1 5 4 3 2 1 9 4 3 2 1
z  Q Q Q Q ; z  Q Q Q Q ; z  Q Q Q Q ;
2 4 3 2 1 6 4 3 2 1 10 4 3 2 1
z  Q Q Q Q ; z  Q Q Q Q ; z  Q Q Q Q ;
3 4 3 2 1 7 4 3 2 1 11 4 3 2 1
z  Q Q Q Q ; z  Q Q Q Q ; z  Q Q Q Q ;
4 4 3 2 1 8 4 3 2 1 12 4 3 2 1
z  Q Q Q Q ;
13 4 3 2 1
z  Q Q Q Q ;
14 4 3 2 1
z  Q Q Q Q ;
15 4 3 2 1
.
z  Q 4 Q 3 Q 2 Q 1
16

На основі графу автомата Мілі для операції ділення
будується пряма структурна таблиця переходів і виходів
(табл. 6.11).
За даними структурної табл. 6.11 записуємо системи
логічних рівнянь:

- для функцій збудження:
1 J    z x  z x  z  z  z  z ;
z
1 4 11 3 13 4 3 5 7 9
J 2  z  z  z 2 x ;
2 6 10

J 3  z  z  z 3 x ;
4 12 11
J 4  z ;
8
K 1 z  z  z  z  z ;
2 4 6 8 10
K 2  z  z 1 x  z  z 3 x  z ;
4 7 8 11 12

K 3  z 1 x  z  z 4 x  z ;
7 8 13 14
K 4  z 13 x  z 14 .
4

113