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

и / t др ( М “} S ") , которое нам выдал алгоритм СН. , сокра­ щающее длину , тогда w= Г “'Б / . .. f l . 'r £'AT£‘"B ' I * - . .. t 1* , (3 = 0 , ± /; либо ш=?*%'. .. bl1t 4 i,1httLi« e;„ t4t... &ц где BiH K= h2 , hj bU , , если £«♦/ = - / , и h, « VI, , если £w = + /; ^ = /, 2 . Из построения алгоритма O l следует, что подслово r fi,'jS1/££k ^ 4 ^ слова &■" в пер­ вом возможном случае является либо крылом трансформы из i < t f либо закрытой правой половиной нетраноформи не­ четной длины из -Д," и м : ' ; во втором случае есть закрытая правая половина нетрансформы четной длины иэ М р UJIL':4 . Заменяем подгруппу подгруппой ы*,з. Пусть L (Y lt, ) <2L(KA(JU'lttl))+ l и X :,- п , t %к б в ; г* — х : , - г в , 1 Ч ,... Д.Л <«.«, . где cL^O,t{ ; /5=0,*/ ; hеU, . если <$„=/ f и he l/., , если <^/n --/ . Применяемалгоритм слева или справа к слону Y*H до первого сокращения его слоговой длины, используя олова из подгруппы др(М£,3*). Пусть при применении 01 к Yu, слева было выдано слово иг(я) , /, 2 , наименьшей слоговой длины,' ur(sh (Ма\ S”) , w (0= t f y t f . . .. t ^ B ; 11 '* либо .. B%, h t L \ . t ' 4 ; t * - 53 -