Рассмотрена задача синтеза контроллера для конкретного автомата. Показано, что задача сводится к решению автоматного уравнения для последовательной композиции автоматов с неизвестной головной компонентой. Предложен оригинальный метод решения такого уравнения для абстрактных автоматов.
