В качестве дальнейшего обобщения можно рассматривать автоматы, у которых множества состояний и выходов заменяются объектами ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Плоткин Б.И. Элементы алгебраической теории автоматов


В качестве дальнейшего обобщения можно рассматривать автоматы, у которых множества состояний и выходов заменяются объектами произвольной категории К. Для фиксированной пары объектов А, В из К рассмотрим множество EodfA, B) EndAx Hom ( A, В), где End ( A) - множество всех морфизмов из А в А, а Нот ( А, В) - множество всех морфизмов из А в В. Pi ( P2 Ф г) - Относительно этого умножения EndfA, В) - полугруппа. Автомат над К определяется как тройка ( А, X, В), в которой А, В - объекты из К, я. Если А - Г - полугруппа и отображение / / Г - ЕпА ( А, В) есть гомоморфизм полугрупп, то ( А, Г, В) - полугрупповой автомат в категории К.

(cкачать страницу)

Смотреть книгу на libgen

В качестве дальнейшего обобщения можно рассматривать автоматы, у которых множества состояний и выходов заменяются объектами произвольной категории К. Для фиксированной пары объектов А, В из К рассмотрим множество EodfA, B) EndAx Hom ( A, В), где End ( A) - множество всех морфизмов из А в А, а Нот ( А, В) - множество всех морфизмов из А в В. Pi ( P2 Ф г) - Относительно этого умножения EndfA, В) - полугруппа. Автомат над К определяется как тройка ( А, X, В), в которой А, В - объекты из К, я. Если А - Г - полугруппа и отображение / / Г - ЕпА ( А, В) есть гомоморфизм полугрупп, то ( А, Г, В) - полугрупповой автомат в категории К.