Сравнение ручного и машинного решений.

В ручном решении таблица переходов-выходов имеет вид:

№	abc
	000	001		011	111		110	100	101	010
00	00/00^00	00/01^01		00/01^03	00/01^0^7		00/01^0^6	01/00^0^4	00/01^0^5	00/01^0^2
01	01/01^10	- ^11		- ^13	00/01^17		00/01^16	01/00^14	11/00^15	- ^1^2
11	- ^30	10/00^31		- ^33	01/01^37		- ^36	11/01^34	11/00^35	- ^32
10	10/10^20	10/00^21		00/01^23	- ^27		- ^26	- ^24	00/01^25	- ^22
			y1y2(t+1)/z1z2(t)

Функции возбуждения элементов памяти и выходов имеют вид:

В машинном решении эти функции имеют вид:

S1 = y2*~b*c;

R1 = b + ~y2*a;

S2 = a*~b*~c + y1*~c;

R2 = ~y1*b + b*~c + ~a*c;

z1 = y1*~a*~c;

z2 = ~y1*~a*c + b + ~y2*a*c + ~y1*y2*~a + y1*a*~c;

Видно, что есть расхождения в функциях z, S2 и R2.

Построим таблицу переходов-выходов для машинного решения. Она строится на основании реализуемой таблицы и конечной матрицы выходов.

№	abc
	000	001		011	111		110	100	101	010
00	00/00^00	00/01^01		00/01^03	00/01^0^7		00/01^0^6	01/00^0^4	00/01^0^5	00/01^0^2
01	01/01^10	- ^11		- ^13	00/01^17		00/01^16	01/00^14	11/00^15	- ^1^2
11	11/10 ^30	10/00^31		- ^33	01/01^37		- ^36	11/01^34	11/00^35	- ^32
10	11/10^20	10/00^21		00/01^23	- ^27		- ^26	- ^24	00/01^25	- ^22
			y1y2(t+1)/z1z2(t)

Между таблицами, полученными вручную и с помощью машины, есть различия. В ручной таблице клетка с ВС = 30 является неиспользуемой. В связи с этим отсутствует переход от клетки с ВС=20 к клетке с ВС=30. Причиной этого является, как следует из матрицы объединенных строк, разное объединение строк:

ручное решение: 1 - 1,6,7,9,10,12,13; 2 - 2,8; 3 - 3,11; 4- 4,5.

машинное решение: 1 – 1,6,7,9,10,12,13; 2 – 2,8; 3 – 3,5,11; 4 – 4.

В данном случае это привело к тому, что в таблице переходов-выходов машинного решения содержится большее количество значащих (заполненных) клеток, а, значит, большее число переходов и, как следствие, большее число букв в функциях S2 и R2. Таким образом, в данном случае машинное решение оказалось более сложным, чем ручное.

Работа машины имеет некоторые особенности. На этапе минимизации первичной таблицы переходов-выходов машина выбирает объединяемые строки путем последовательного сравнения каждой строки со всеми остальными. Группа непротиворечивых строк объединяется в одну строку минимизированной таблицы переходов, и строки, входящие в эту группу, исключаются из дальнейшего рассмотрения. Процедура продолжается, пока не будут исключены все строки из первичной таблицы переходов. Человек же при объединении строк первичной таблицы переходов выбирает варианты объединения строк, исходя из своих знаний и прогнозов на получение минимизированной таблицы с наименьшим количеством значащих клеток (тактов). Здесь кроется одна из причин возможных неоднозначностей конечных результатов. Но, как правило, это не единственная причина.

Вторая причина возможной неоднозначности ответа заключается в выбранном варианте кодирования состояний памяти автомата (строк реализуемой таблицы переходов). Человек, выполняя кодирование вручную по диаграмме переходов и карте Карно, так расставляет строки в соседних клетках, чтобы исключить состязания и при этом ограничиться минимальным количеством добавляемых строк. Машина же просматривает соседние состояния подряд, не ограничивая себя условием минимального количества добавляемых строк.