Построение множества максимальных устойчивых состояний для асинхронного автомата

По заданной структуре асинхронного автомата строится множество $M^y$ максимальных устойчивых состояний. Каждое максимальное устойчивое состояние является представителем некоторого подмножества устойчивых состояний автомата. Множество $M^y$ предлагается использовать для качественной оценки проверяющих и диагностических свойств произвольной входной последовательности, поступающей на асинхронный автомат.