Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
При этом Al - ( A Xt) есть полугрупповой полуавтомат, А2 ( А, Хг, В) - произвольный - автомат. Мы должны будем предполагать, что полугруппа Xt действует на множестве Х2 слева: Х2 есть левый Xt-полигон. Например, такая ситуация имеет место, если Х1 - подполугруппа из SA, а A 2 - подмножество из Funf А. В), замкнутое относительно естественного действия ( умножения) слева элементов из А. В этом случае тройка ( X, a, / JJ, в которой X - полугруппа, or - гомоморфизм из X в AY. Значит, А ( Х, а, р) является полугрупповым автоматом. Доя фиксированных At и А2 класс полугрупповых соединений составляет категорию с морфизмами - гомоморфизмами полугрупповых автоматов. Построим универсальный притягивающий объект этой категории. Относительно этого умножения X является полугруппой. Как и ранее, обозначим через п1 п2 проектирования множества X на XL, X2 соответственно.
