Диаграмма объединений

Проанализировав диаграмму объединений видно, что наиболее оптимальный вариант объединения строк будет: (1,6,7); (2,8,9); (3,10,11); (4,5,12,13). На основании полученного результата строим минимизированную таблицу переходов.

Минимизированная таблица переходов

	Входы-abc
	000	001	010	011	100	101	110	111
a		2
b						3
c								4
d

2. Построение реализуемой таблицы переходов

А) Построение диаграммы переходов

Для каждой строки минимизированной таблицы переходов по каждому столбцу (с неустойчивым тактом) выписываем все переходы:

На основании полученных результатов строим диаграмму переходов.

Диаграмма переходов

Б) Кодирование строк для исключения состязаний элементов памяти.

Так как переходы от строки к строке для исключения состязаний должны осуществляться при изменении состояния только одного элемента памяти, то комбинации состояний элементов памяти тех строк, между которыми есть переходы, должны быть соседними. Для выбора соседних комбинаций состояний элементов памяти, т.е. для кодирования строк таблицы переходов, воспользуемся картой Карно. Берем карту Карно на 2 элемента:

0 y2 1

A	B
D	C

0

y1

1

Четырех строк оказалось достаточно, запишем их коды по карте Карно:

A  00

B  01

C  11

D  10

В) Построение реализуемой таблицы переходов.

Заполненная карта Карно позволяет построить реализуемую таблицу переходов. Она имеет такой же вид, как и минимизированная таблица, но в ней дополнительно указываются элементы памяти, их состояния (в соответствии с кодом строк) и все переходы.

y1y2	Входы-abc
	000	001	010	011	100	101	110	111
00		2
01						3
11								4
10