Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Из определения и2 и равенств (7.2) следует, что / х2 - гомоморфизм полугрупп. Очевидно, что иг есть гомоморфизм V на всю полугруппу S. Проверим справедливость условия (1.1) из определения гомоморфизма полугрупповых автоматов.
