Проектирование автомата

ПРИМЕР.
Пусть автомат описывается матрицами переходов и выходов:
Т.к. число состояний автомата |М|=4, то для кодирования их потребуется два элемента памяти.
Т.к. число входных сигналов |Z|=3, потребуется вектор размерности 2.
Т.к. число выходных сигналов |W|=2, нужен вектор размерности 1.

Введем кодировки состояний, входов и выходов:

1. Определение выходных функций автомата
Выходные функции найдем по матрице выходов:
Минимизируем функцию выхода у по методу карт Карно. Для этого добавим в таблицу выходов значение
На этом наборе функция не определена, поэтому ее значения могут быть любыми.

Выходная функция автомата:

2. Определение функций возбуждения элементов памяти
Функции возбуждения памяти можно получить из матрицы переходов:
Триггер типа линии задержки

Для первой функции возбуждения:

Для второй функции возбуждения:

Счетный триггер
Функции возбуждения памяти можно получить как сложением по модулю два кодировок текущего и следующего состояний автомата:

Для первой функции возбуждения: