Настоящая книга посвящена поведенческой (или, как говорят еще, абстрактной) теории автоматов, в которой поведение автомата изучается при максимальном отвлечении от его конструктивных особенностей. Соответственно под синтезом автомата подразумевается построение его программы (а не структурной схемы, как это имеет место в структурной теории автоматов).
