О поведении взаимодействующих автоматов, моделирующих систему «объект управления — управляющее устройство»

Рассматривается поведение двух конечных автоматов, вход и выход одного из которых отождествлены соответственно с выходом и входом другого. Такая система может служить моделью замкнутого контура управления дискретным объектом по некоторой программе, рассматриваемой как множество вход-выходных последовательностей, реализуемых в автомате, служащем моделью этого объекта. Управление осуществляется с помощью второго автомата, соответствующего управляющему устройству. Приводятся алгоритмы синтеза управляющего автомата по заданному поведению модели объекта.