DL – триггер.
Рассмотрим пример синтеза асинхронного автомата, который называется DL – триггером.
DL – триггером называется такой автомат, который имеет 2-входа и один выход.

Если на вход С подаётся 0, то на выходе Q повторится значение которое будет на входе D, если на входе C будет подана 1, то триггер запомнит значение которое было подано на вход D.

C={0,1}, Q+ ={0,1}, Q = {0,1}
Автомат функционирует при С=1, а при С=0 – нет.
В соответствии с приведённым описанием работы триггера определим его формальное описание в виде автомата Мура.
Этот автомат асинхронный ={0,1}

то асинхронный автомат устойчив по состояниям.

(частный случай )

Получим триггер-защёлку:

Этот триггер не подходит под описание синхронного элемента памяти.

Если с низкого уровня то сигнал не изменен, если с высокого уровня то изменяется на то, что на входе и при положении С оно намертво запоминается в памяти.
Т.о. этот триггер не может быть использован как синхронный элемент памяти т.к. при активном (потенциальном) значении сигнала C, он повторяет на выходе все изменения на входе D, это может привести к появлению ошибочных процессов т.к. у конечных автоматов этот триггер используется как синхронный элемент памяти.
Двухступенчатый – триггер
Рассмотрим пример синтеза триггера, который может быть использован в качестве синхронного элемента памяти.
Рассмотрим 4-е состояния элемента задержки:

0 – синхронизующий триггер запоминает 0, выдаёт на выходе 0.
— запоминает 0, выдаёт на выходе 1.
1 — запоминает 1, выдаёт на выходе 0.
— запоминает 1, выдаёт на выходе 1.

Полученное ранее словесное описание синхронного элемента задержки формализуем в виде автоматной таблицы:

Если с = 0 – запомнит входной знак.
Если с = 0 – игнорирование входного знака и изменение выхода т.е.выдаёт то, что запомнил.
Нижнюю часть таблицы ( 2 сроки ) определяем таким образом, чтобы автомат был асинхронным, хотя у нас имеется возможность заменить любой 0 на 1, а любой на . В пользу этого определения говорит ещё и то, что автомат не изменяет ранее запомненный входной знак.

Пусть синтезируемый триггер при пассивном значении тактового сигнала C = 0, запоминает состояние входа D. Если состояние входа C = 1, то запомненное состояние входа передаётся на выход триггера. После перехода сигнала C с 1 на 0, состояние выхода не изменится, а триггер опять запоминает сигнал на входе D.
Построим таблицу истинности
Это последовательное соединение двух DL — триггеров.