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