Синтез абстрактного автомата. Построение обобщённой таблицы истинности. Таблица переходов. Таблица выходов, страница 3

~

~

~

~

0

0

~

~

0

~

~

~

~

~

0

1

~

~

~

~

1

~

~

0

~

~

0

0

~

~

~

~

0

~

~

0

~

~

~

~

0

1

~

~

1

~

~

~

K1 :                                           K2 :                                                   K3 :

0

0

~

~

~

~

~

~

~

0

~

~

0

1

~

~

0

0

0

0

~

0

1

~

0

~

~

~

1

0

0

0

~

1

0

~

0

0

~

~

~

~

~

~

~

0

~

~

Z :          

1

0

~

~

0

~

1

0

0

~

0

0

1

1

~

~

По картам Карно составляем минимизированные функции:

J1= a·x3,                      K1= x2·x3 ;

J2= a·x3,                      K2= a·x1·x3 ;

J3= a·x2 v a·x1·x2 ,      K3= a·x1 v a·x1·x2 ;

Z= x1·x2·x3 v a·x2·x3 v a·x2 .

2.3.  Схема электрическая принципиальная абстрактного автомата.

В схеме использованы микросхемы структуры ТТЛ — логические элементы и JK-триггеры на микросхемах серии К555 [1]. Микросхемы данной серии являются маломощными (потребляемая микросхемой мощность не превышает 2 мВт) с диодами Шотки. Время задержки изменения логического уровня на выходе микросхемы при переходе 0®1 и 1®0 не превышает 10 нс, что позволяет автомату работать при больших частотах сигнала входного воздействия.

Для преобразования синхронных JK–триггеров в асинхронные на синхронизирующий вход С через элемент 2ИЛИ подаётся сигнал. Входы логического элемента соединены соответственно с входами J и K триггеров. Переключение состояний триггеров автомата происходит при подаче входного воздействия на входы А и А. Генератором входных воздействий может служить простой генератор тактовых импульсов с прямым и инверсным выходом.

Некоторые электрические параметры использованных микросхем приведены в таблице 2 приложения 2.