Устройство синхронизации сигналов. Проект конечного автомата, осуществляющего синхронизацию информационных импульсов, поступающих в произвольные моменты времени, страница 4

При соседнем кодировании граф автомата должен удовлетворять двум необходимым условиям:

1.  Должны отсутствовать циклы с нечетным числом вершин

2.  Два соседних состояний второго порядка не должны иметь более двух состояний, лежащих между ними

Учитывая эти условия, преобразуем граф автомата (рис. 2). Для этого введем дополнительное состояние q₆, а так же переход  под действием сигнала X₁ пустим через состояние q₄. В результате получим граф, представленный на рис. 3. В этом графе состояния q₆ и q₄ являются неустойчивыми. Так как переключения из одного устойчивого состояния графа в другое осуществляется не более, чем через одно неустойчивое состояние, то такое преобразование приведет к увеличению времени переключение более, чем в 2 раза. Необходимо так же заметить, что введение дополнительного состояния q₆ не приведет к увеличению состояний автомата с 6 до 7, что не приведет к увеличению количества элементов памяти автомата.

Для полученного преобразованного графа составим таблицы переходов и выходов (табл. 7, 8), при этом учитывая, что при переходе из q₂ в q₃ сигналы X₀и X₂ на входе автомата появиться не могут.

Рисунок 3. Преобразованный граф автомата А

Таблица 7. Таблица переходов автомата А

Таблица 8. Таблица выходов автомата А

Так как полученный граф автомата (рис. 3) является достаточно простым, то кодирование состояний в нем достаточно просто осуществляется путем последовательного присваивания соседним состояниям автомата соседних наборов (рис. 3). На основе полученных кодов всех состояний строим таблицу кодирования автомата (табл. 9) и таблицы переходов и выходов структурного автомата А (табл. 10, 11).

 Таблица 9. Таблица кодирования

Таблица 10. Таблица переходов автомата А

Таблица 11. Таблица выходов автомата А