Каркас автомата

Каркасом автомата (без выходов) называется упорядоченное множество, которое образуют слои автомата (т.е. его сильно связные подмножества) вместе с отношением обратной достижимости. Установлены некоторые свойства каркаса автомата, связанные с основными алгебраическими конструкциями, такими, как подавтоматы, гомоморфизмы и конгруэнции.