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



Выдержка из книги Сборник N.N. Избранные вопросы алгебры и логики


Система элементарных операторов дискретного преобразователя порождает полугруппу G преобразований множества состояний операционного автомата В - полугруппу, которой принадлежит автомат В. Эта полугруппа должна рассматриваться вместе с выделенной системой образующих Y. Присоединяя, если нужно, к G единицу и принимая ее в качестве начального состояния, множество G можно рассматривать как У-автомат, если функцию переходов определять как правое умножение. Рассмотренную эквивалентность можно определить тогда как эквивалентность относительно автомата G и множества L всех возможных его функций выходов.

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

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

Система элементарных операторов дискретного преобразователя порождает полугруппу G преобразований множества состояний операционного автомата В - полугруппу, которой принадлежит автомат В. Эта полугруппа должна рассматриваться вместе с выделенной системой образующих Y. Присоединяя, если нужно, к G единицу и принимая ее в качестве начального состояния, множество G можно рассматривать как У-автомат, если функцию переходов определять как правое умножение. Рассмотренную эквивалентность можно определить тогда как эквивалентность относительно автомата G и множества L всех возможных его функций выходов.