АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1981 г.

* ( м ^ у но этих преобразовании: (40 ") &/ 2 2‘ Допустим, что предыдущим выполнялось преобразова­ ние o i/ls , тогда к ряду (49) присоединяем слово Щ Y t "f Щ : X ^ Y r ^ ^ Q ^ w-{ Y £ , w -s. К р я д а ( 4 8 ), ( 4 9 ') применяем конечное число раз преоб­ разования л, - л 3 , получим инвариантный относительно этих преобразований ряд: (4В. , d ti i . После выполнения преобразования <*ю .1 к подгруппам ряда (48'") присоединяем подгруппы (М'/ол ) , . . . t (JU',!A, ) r получим ряд (JU'if) ^ (Mia) ^ ■ МЛ^)*= ( Л ; ^ )<...< (Л ^,). ^ ^ Затем каждую подгруппу ряда (5 8 ), имеющую вид: Щ ) ..v . K i t ^ . tf»L'n„... 4 о и каждую подгруппу ,.b-tbBz;(... й ; / г Ч^ ч С, ...в,(л ряда (47") заменяем подгруппами: и г ' ( М ^ ) № , иГ~'7)^1и-. Затем каждое слово Yg ряда (46//) вида: , е - * с , « * о Yg=t-*B~/t &<. ь-tH t*BL... te%t* заменяем соответственно словами W ' rY g S , № 'Y s ur, Получаем последовательности: Г Д '" ) , (К \ ( К х • ■> 9 (59) у / " Х< > у «' у to • > Ц * . (60) W . Л->2 7 . . Л " •> *-У У"' • (61) ol iS2 . Допустим, что предыдущим выполнилось преобразование об, 2,я,тогда к подгруппам ряда (48'") и к словам ( 4 9 ') лр ясо е- - 57 -