Abstract:
Conditions are described for construction of an automaton which will check the functioning of the initial automaton with a specified let of faults. In the. case of checking the initial automaton reset to the initial,state the necessary and sufficient conditions and in the case where no such check is made, of sufficient conditions for design of such a checking automaton are given.