Abstract. The problem of automata harmonization is to design a system whose behavior during the interaction with its environment meets given requirements regardless of the environment’s behavior. A number of theoretical results employed in solving the harmonization problem and corresponding algorithms based on these results are presented.

Keywords: interaction of automata, composition of automata, automaton shift with respect to input, harmonization of automata, correctness of a composition.