Harmonization of automata specifications represented in the language L - A. N. Chebotarev (Cybernetics and Systems Analysis, 2016)