Анотація. Проблема узгодження автоматів полягає в тому, щоб спроектувати систему, поведінка якої при її взаємодії з середовищем буде задовольняти задані вимоги незалежно від можливої поведінки середовища. Наведено низку теоретичних результатів, що використовуються при розв’язанні проблеми узгодження, та алгоритми її розв’язання, які базуються на цих результатах.

Ключові слова: взаємодія автоматів, композиції автоматів, зсув автомата за входом, узгодження автоматів, коректність композиції.