Синтезировать автомат с одним входом и одним выходом. На вход поступает произвольная последовательность символов 0 и 1. Автомат анализирует входные символы группами по три символа.

Обозначим входные символы группы:

первый x₁, второй x₂, третий x₃.

Составим таблицу истинности (табл. 1), в которой отразим все возможные комбинации входных символов группы и результат выполнения операции И-НЕ над символами в группе.

Таблица 1

Обозначим состояния автомата (порядок нумерации состояний для абстрактного автомата безразличен):

S₀ начальное состояние автомата,

S1 - S4, S7 - S14 испо...