— Конечный автомат, описанный на языке секвенций, задающий автоматные функции. Каждой такой системе можно поставить в соответствие типовую структуру А.С. состоящую из регистра (связанных между собой триггеров), схем совпадения и двух диодных матриц, одна из которых служит для реализации функций переходов автомата, а другая функций выходов.