Пусть полугруппа 5 - моногенная, у - ее образующий элемент. Тогда для всякого натурального / ... - Большая Энциклопедия Нефти и Газа



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


Пусть полугруппа 5 - моногенная, у - ее образующий элемент. Тогда для всякого натурального / справедливо неравенство А о у А и, следовательно, 4 о SA. Тогда в силу леммы 7.2 имеет место декомпозиция A TwrC, в которой мощность автомата У меньше мощности автомата А, а автомат Сесть триггер. У / - либо триггеры, либо групповые автоматы, делящие Y. Так как Y есть делитель А, то эти групповые компоненты также делят А. При этом следует заметить, что автомат Y - точный.

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

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

Пусть полугруппа 5  -  моногенная,  у  -  ее образующий элемент.  Тогда для всякого натурального / справедливо неравенство А о у А и,  следовательно,   4 о SA.  Тогда в силу леммы 7.2 имеет место декомпозиция A TwrC,  в которой мощность автомата У меньше мощности автомата А,  а автомат Сесть триггер.  У / - либо триггеры,  либо групповые автоматы,  делящие Y.  Так как Y есть делитель А,  то эти групповые компоненты также делят А.  При этом следует заметить,  что автомат Y  -  точный.