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

и ( ' ^ и ) ряда (45) таких, что Ц К А( М ф s r ( K j < w » ) < L (К л ( М ^ , ) \ если 1(КЛ(< №») <L (Кл(А к)). В противном случае (W ) будет следовать за подгруппой Затем пополи.ем вспомогательный ряд (4?) подгруппами из множества: t % t e>... б , № £ * % ' , „ Г % ' Г 7 • tX-t-* • G- " ’ г > » не содержащимися в нем. Если W является нетраноформой, то есть w = t cv % . . A i 4 ^ e ,s ... ^ й ; либо w = ,.Bs k t f* ^ Х ч ■•• ^ tP > Ы=0,±/; р = 0 , ± Г ; /г 6 Г/, ; дели Es = I , " k e U.f ; еСЛИ 65 = -/ , то располагаем ее среди слов YL • Y tf. р я д а (46) таких, что L (Y l ) ^ L (W ) iL (Y i* i) , если t ( W ) <L ( .Х у ) . В п р о т и в ­ ном случае W будет следовать з а . Затем пополняем ряд (47) подгруппами из множества t'b,№... й ,Ж Г Ь % (“вг*, либо из множества t * 8 , . A t 6e( x t '£eS 2 ...В ? t~* f f G - t ’ * ; f ^ ' W . . . % ' c s’ Grti3bs & - • A t P , . - ; ti>CrLf3> не содержащимися в нем. В результате получим ряда: с « у < ( « ; ) < . - 51 - ( 45 ') ( 46 ') (4 7 ')