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