Представим схему, полученную в результате структурного синтеза синхронного автомата.
С – вход синхронизации( автомат работает, когда изменяется синхронизирующий знак).
1) Необходимо обеспечить следующее функционирование синхронного элемента задержки D. Знак на входе появляется на выходе элемента только в дискретные моменты времени t = 0, 1, 2,….
2) После появления знака на выходе Q , автомат D может вычислить новый входной знак , но он уже не должен воздействовать на выход элемента задержки. ( мы считаем, что автомат работает мгновенно ).
3) Необходимо каким-то образом задавать моменты функционирования автомата, обеспечив согласованную и одновременную работу автомата в этой автоматной сети. Это можно сделать только с использованием дополнительного синхронизированного входа С . Только изменение знака q на входе, должно приводить к функционированию как элемента задержки, так и автомата в целом.
4) Из описания 1,2,3 пунктов функционального синхронного элемента задержки следует, что он должен быть асинхронным автоматом по входу C . Ранее мы показали, что элемент задержки произвольного автомата — есть асинхронный автомат. Отсюда следует, что поиск реализации синхронного элемента задержки следует искать в классе асинхронных автоматов.
5) Докажем отличие синхронного элемента задержки от синхронного автомата. В итоге получим следующий автомат:
Если автомат D – асинхронный, то любое изменение знака на входе или Q+ или C , должен привести к функционированию автомата D, но по описанию синхронного элемента задержки следует, что автомат D должен функционировать только при изменении знака на входе синхронизации C . Изменение знака на входе Q+ , не должно приводить к функционированию автомата.
6) Будем в дальнейшем рассматривать элементы задержки, входные и выходные знаки которых принадлежат двоичному алфавиту. Это не уменьшает общности рассмотрения, т.к. использование кодирование знаков не двоичного алфавита знаками двоичного алфавита, мы можем реализовать элементы задержки, когда входные и выходные знаки принадлежат алфавиту с произвольным числом знаков. К тому же техническую реализацию находят только автоматы работающие с двоичным алфавитом .( у нас нет других распространённых автоматных базисов).
Если , то используется параллельное соединение.
С использованием S – элементов задержки мы можем реализовать элемент задержки для заданного алфавита Q .
Заметим, что для синхронизированного входа достаточно только двух знаков.
Синхронизированный элемент задержки из n – элементов.
Выходной алфавит для элемента задержки
Выходной алфавит для элемента задержки
т.к. всё делается для 2х-значной логики