Abstract. The author considers two methods for harmonization of automata specifications represented as sets of clauses in the language L. Both methods are based on the automata harmonization technique, which uses their parallel composition. Two ways to determine language L semantics that are used in the harmonization methods are described.

Keywords: automaton specification, language L, harmonization of specification, composition of specification, composition correctness.