Design and use of a single-step functional model of a dead-beat automaton

The concept of a single-step functional model of a dead-beat automation is introduced. A algorithm for model construction and one for design of a shortest sequence which would detect a fault in the automaton are proposed. The latter algorithm is also applicable to obtaining the shortest sequence which would distinguish two faults in a dead-beat automaton. The resultant sequences do not require checking by ternary modeling.