Синтез автомата. Автомат задан таблицей переходов и таблицей выходов. Прокодированная таблица переходов, страница 2

Сигналы на входах триггеров

 

Последующие состояния

 

Предыдущие состояния

 

Выход

x

Q1

Q2

Q3

Q1

Q2

Q3

J1

K1

J2

K2

J3

K3

W

0

0

0

0

0

0

1

0

~

0

~

1

~

1

0

0

0

1

1

0

1

1

~

0

~

~

0

1

0

0

1

0

0

0

0

0

~

~

1

0

~

0

0

0

1

1

0

1

1

0

~

~

0

~

0

0

0

1

0

0

1

0

0

~

0

0

~

0

~

0

0

1

0

1

1

1

1

~

0

1

~

~

0

1

0

1

1

0

0

1

0

~

1

~

0

0

~

1

0

1

1

1

1

1

0

~

0

~

0

~

1

1

1

0

0

0

0

0

0

0

~

0

~

0

~

1

1

0

0

1

0

0

1

0

~

0

~

~

0

1

1

0

1

0

0

1

1

0

~

~

0

1

~

0

1

0

1

1

1

1

1

1

~

~

0

~

0

0

1

1

0

0

1

1

0

~

0

1

~

0

~

0

1

1

0

1

1

0

0

~

0

0

~

~

1

0

1

1

1

0

0

1

0

~

1

~

0

0

~

0

1

1

1

1

1

0

1

~

0

~

1

~

0

0

Сигналы на входах триггеров (J1 – J3 и K1 – K3) заполняются с использованием таблицы переходов для JK-триггера:

Таблица 7. Таблица переходов для JK-триггера

Вид перехода

J

K

0 ® 0

0

~

0 ® 1

1

~

1 ® 0

~

1

1 ® 1

~

0

Произведём минимизацию входных функций триггеров, а также выходной функции автомата.

J1                                                                   K1

 


~

~

0

0

~

~

1

0

~

~

0

0

~

~

1

0

J2                                                                   K2

J3                                                                   K3