Пусть конечный автомат А имеет нетривиальную конгруэнцию п. Очевидно, что фактор-автомат А/я представляет поведение исходного автомата А с меньшей детальностью. Если говорить точнее, фактор-автомат А/я задает поведение А с точностью до блоков разбиения п.
Если конечный автомат имеет нетривиальную конгруэнцию, то дл него существует последовательная декомпозиция.
<-Предыдущая|Следующая->
Вопросы