Transition count testing of automata

A procedure of automaton checking is developed in which the transition count is computed while the output sequence is not observed. Automata can be transformed into those where this procedure is feasible.