3.3.2 Кодирование внутренних состояний для модели Мили на счётчике

Модифицированный граф Мили для счётчика представлен в приложении В

При кодировании состояний на счетчике необходимо стараться закодировать состояния таким образом, чтобы код состояния, отличающегося от предыдущего порядковым номером на единицу, был больше на единицу, так как счетчик имеет входные управляющие сигналы +1, -1, Reset. Если при кодировании возникает ситуация, когда происходит переход в состояние отличное от предыдущего состояния более чем на единицу, необходимо заносить нестандартное состояние сразу же на элементы памяти счетчика. Для кодирования 7 состояний автомата по модели Мили потребуется 4-х разрядный счетчик. Получившиеся коды состояний представлены в таблице 8.

Состояние	a0	a1	a2	a3	a4	a5	a6
Код	001	010	011	100	101	110	000

Далее составляется прямая структурная таблица переходов и выходов автомата Мили на счетчике, результаты которой представлены в таблице 9, и по известному правилу формируются логические выражения для функций возбуждения.

Таблица 9 – Прямая структурная таблица переходов и выходов автомата модели Мили на счетчике

1	2	3	4	5	6	7
Исходное cост. a_m	Код a_m	Сост. Перехода a_s	Код a_s	Вх. сигналы	Вых. сигналы	Функция возбуждение счётчика
a0	001	a0 a1	001 010	~x0 х0	- y3y5y1y8y6	- +1
a1	010	a2 a6 a1	011 000 001	~x5x0 x5 ~x5~x0	y1y2 - -	+1 R -
a2	011	a6 a3 a3	000 100 100	x5 ~x5x2 ~x5~x2	- y0y12 -	R +1 +1
a3	100	a4	101	1	y4y7y10	+1
a4	101	a3 a4 a5 a5 a6	100 101 110 110 000	~x4x2 ~x4~x2 x4x3x6 x4x3~x6 x4~x3	y0y12 y4y7y10 y15y13y12 - -	-1 - +1 +1 R
a5	110	a6 a6	000 000	~x1 x1	- y15y0y12y13	R R
a6	000	a6 a0	000 001	~x7 x7	- y9	- Wr

Логические выражения для каждой функции возбуждения счетчика получают по таблице, как конъюнкции соответствующих исходных состояний a_m и входных сигналов, которые объединены знаками дизъюнкции для всех строк, содержащих данную функцию возбуждения:

Исходные КУ

+1= a0x0 v a1~x5x0 v a2~x5 v a3 v a4x4x3

-1= a4~x4x2

Wr= a6x7

R= a1x5 v a2x5 v a4x4~x3 v a5

y0= a2~x5x2 v a4~x4x2 v a5x1

y1= a0x0 v a1~x5x0

y2= a1~x5x0

y3= a0x0

y4= a3 v a4~x4~x2

y5= a0x0

y6= a0x0

y7= a3 v a4~x4~x2

y8= a0x0

y9= a6x7

y10= a3 v a4~x4~x2

y12= a2~x5x2 v a4~x4x2 v a4x4x3x6 v a5x1

y13= a4x4x3x6 v a5x1

y15= a4x4x3x6 v a5x1

Сокращения (Сумма = 27)

n= a2~x5x2 (3) m= sx6 (2) f=a2~x5 (2) j=fx2 (2) c= f~x2 (2) g= a4~x4x2 (3) h=a5x1 (2) l= a0x0 (2) t= a1~x5x0 (3) d= a4~x4~x2 (3) s=a4x4x3 (3) u=a6x7 (2)