Очевидно выполнение аксиом полугруппового автомата. Понятно, что гомоморфный образ циклического автомата также является циклическим, поэтому ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Очевидно выполнение аксиом полугруппового автомата. Понятно, что гомоморфный образ циклического автомата также является циклическим, поэтому все фактор-автоматы автомата Atm ( T) являются циклическими.
