Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Гомоморфизм произвольного автомата ( А, Г, В) в Aim1 ( А, В) означает переход к соответствующему точному автомату, а гомоморфизм его в Atm2 ( T, В) - к соответствующему приведенному автомату.