Abstract:
A class of monitorable automata is considered. Any finite automaton is shown to be transformable into one of this class. The upper bounds are obtained, the control for sequence of automata being designed. Conditions are formulated under which the resultant estimates are below the conventional ones.