Анкетный язык и абстрактный синтез минимальных последовательностных машин

Дается описание алгоритма абстрактного синтеза последовательностных машин. Алгоритм отличается от существующих тем, что при его применении не требуется предварительно формулировать на каком-либо языке задание на синтезируемую машину. Всю информацию о свойствах синтезируемой машины «исполнитель» получает от «заказчика» в ходе развертывания алгоритма в виде ответов на вопросы двух типов относительно последовательностей внешних для машины ситуаций. Содержание вопросов на каждом этапе определяется алгоритмом. В результате применения алгоритма однозначно восстанавливается диаграмма состояний минимальной последовательностной машины, нужной «заказчику».