Тема 13. Автоматы с памятью. Канонический метод структурного синтеза. Построение логической схемы структурного автомата. Графический метод структурного синтеза.

Последовательность синтеза автоматов представляется следующими этапами:

1. Представление исследуемого объекта в виде черного ящика с одним входом X, одним выходом Y и множеством состояний S.

2. Формирование входного алфавита X.

3. Формирование выходного алфавита системы Y.

4. Построение множества состояний системы S.

5. Формализация характеристических функций выхода и перехода в виде автоматной таблицы.

6. Построение графа переходов.

В качестве примера синтеза абстрактного автомата рассматривают элементы цифровой техники, именуемые триггерами.

Триггер-это цифровое устройство с двумя устойчивыми состояниями: хранить 0 и хранить 1.

Будем рассматривать синхронные триггеры, таким образом, изменение состояния выполняется внешним синхронизирующим источником. Триггер является простейшим элементом памяти, в компьютерной системе на них построена КЭШ-память. Существуют различные типы триггеров:

1. D – триггер;

2. JK– триггер;

3. RS– триггер;

4. T– триггер.

1. D – триггер

Q - прямой выход;

- инверсный выход.

2)JK– триггер;

3)RS– триггер;

Синхронный RS– триггер относится к частичным автоматам.

4) T– триггер

T– триггер -счетный