“…For automata over the ring K = + × ( , , ) K , problems of construction of classes of equivalent states for an automaton, identification of the initial state of an automaton, parametric identification, and also construction of sets of fixed points for automaton mappings are reduced to the solution of corresponding systems (linear or nonlinear) of equations (as a rule, with parameters) over the ring K (which is illustrated in [12][13][14][15] in investigating automata over the ring Z p k ).…”