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

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

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

A  B₀₁₀

B  C₀₁₁*(AvA_D)₁₁₀

C  A₀₀₁*A₁₁₁*D₀₁₀

D  A₀₁₁*(AvA_B)₁₁₀

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

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

A

B

C

D

Реализуемая Диаграмма переходов

A

C

D

B

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

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

Берем карту Карно на 2 элемента:

Видим, что на первый взгляд строками A,B,C,D "войти" в карту Карно, обеспечив соседство нужных строк не удается (переход С->A), но не будем торопиться вводить новую строку , а заметим что в имеющейся строке B присутствует несколько условных состояний ДУ. С целью обеспечения соседства определим в нужных позициях на их месте нужные неустойчивые такты (6 и 10).

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

A  00

B  01

C  11

D  10

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

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

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

Y1Y2		abс
		000	001	010	011	100	101	110	111
00	A	1	6	2	11	7	-	9	10
01	B	8	6	2	3	-	-	9	10
11	C	-	6	4	3	-	-	-	10
10	D	5	-	4	11	-	-	9	-

III. Построение таблиц переходов-выходов и возбуждений элементов памяти.

Таблица переходов-выходов имеет такой же вид, как и реализуемая таблица переходов, но вместо номеров тактов в её клетках проставляются состояния элементов памяти в следующий момент времени y_(t+1) (в числителе) и значение выходных сигналов z_(t) (в знаменателе).

Таблица переходов-выходов

В качестве базового элемента памяти предлагаю выбрать R-S триггер.

Таблица входов R-S триггера

Построим таблицу возбуждений ДУ, описываемого таблицей переходов-выходов, если в качестве элементов памяти использовать универсальные R-S триггеры

Таблица возбуждения элементов памяти.

Данная таблица легко получается из таблицы переходов-выходов и таблицы входов R-S триггера.