Не полностью определенные автоматы

Задачей этапа абстрактного синтеза автомата является построение схемы, реализующей автомат.

Набор возможных значений сигналов, подаваемых на один входной (выходной) узел образует структурный входной (выходной) алфавит автомата.

Наиболее распространен двоичный структурный алфавит.

В дальнейшем будем иметь ввиду именно двоичный структурный алфавит.

Символы входного и выходного алфавитов, символы состояний можно закодировать векторами конечной длины, компоненты которых принимают два значения: 0 и 1.

Например, для кодирования символов алфавита достаточно использовать -компонентный вектор , где .