Аннотация. Проблема согласования автоматов состоит в том, чтобы спроектировать систему, поведение которой при ее взаимодействии со средой будет удовлетворять заданным требованиям независимо от возможного поведения среды. Приведен ряд теоретических результатов, используемых при решении проблемы согласования, и основанные на них алгоритмы ее решения.
Ключевые слова: взаимодействие автоматов, композиции автоматов, сдвиг автомата по входу, согласование автоматов, корректность композиции.
Чеботарев Анатолий Николаевич,
доктор техн. наук, ведущий научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: ancheb@gmail.com.