Design of a set of maximally stable states for a dead-beat automaton

With the structure of a dead-beat automaton specified a set $M^y$ of maximal stable states is constructed, each such state being a representative of a certain subset of stable automaton states. The set $M^y$ can be used in qualitative estimation of checking and diagnostic properties of an arbitrary input sequence which enters the dead-beat automaton.