The present article introduces the notion of a local fault at the functional level. A series of such faults forms a locally generated class of automata. The article studies the structure of this locally generated automata class at its place in the traditional class of faults. We also consider the problem of identification for the control experiment with respect to a given class of automata. We show that the identification problem for a locally generated automata class is polynomially solvable and is polynomially complete for the class of all automata with a given number of states.

finite automaton theory, local faults in automata, control experiment identification problem

Mathematical problems and theory of numerical methods