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



Выдержка из книги Арбиб М.N. Алгебраическая теория автоматов,языков и полугрупп


Для того чтобы начать декомпозицию, рассмотрим стандартный полугрупповой автомат с множеством состояний S. Выберем в полугруппе все элементы ct, определяющие стягивающие отображения переходов. Сформируем подмножества вида Sct, отбросив те из них, которые целиком содержатся в других.

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

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

Для того чтобы начать декомпозицию,  рассмотрим стандартный полугрупповой автомат с множеством состояний S.  Выберем в полугруппе все элементы ct,  определяющие стягивающие отображения переходов.  Сформируем подмножества вида Sct,  отбросив те из них,  которые целиком содержатся в других.