Analysis of the Problem of Parametric Identification of Nonlinear Automata over Finite Ring

For the Mealy and Moore automata over finite associative-commutative ring with unit, which transition function is defined by means of nonlinear equations of the second order, and output function is correspondingly linear and affine mapping, we solved problem of parametric identification. Parameters, which can be easily identified, are detected, as well as parameters, which identification is not simple. It was ascertained that the property "to be reversible automata" does not affect complexity of solving the problem of parametric identification of the investigated models.