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

олова l* . . . , / . Каждое определяющее слово ^ заменим на равные им в П олова, содержащие не более C (w ) + l-‘ до“ полненгЧ, где , ь , 2 & i \ i . Заметим, что для того чтобы выяснить, равно ли определяющее сло­ во С олову W в Г \ , достаточно в дереве элементарных преоб­ разований С, взять Орлова, содержащие не более дополнений, ибс если ' *’ с = v $1 У1а. - . . v 1к с < 0 к - + b ' то при дальнейших преобразованиях дополнения У ц , , Уме не затрагиваются и подслово У ,, X1 t . . Х1К полином переходит без ивменевия в последующий слова. (Подробно это рассмотрено в работе [4] леммой 2 .) В результате таких преобразований слово 112) преобразуется тав: t И ч с , Ч Ц X m • . y L,> c l " ^ ■ 4llU J V "J v ' V ' Ц , X f r */«•, S t l ) ц е - ■ * 3 * - • y s t j 4 f j ' s (13) . . ,(.«) . I» ) Си) {М ^(М «х» J e ) Ун Х ц У, У, в • ' У*»ь j l * J ‘ V лад ■v - ' w t f j ™ - III - о