Ученые записки математических кафедр вып. 1970 г.

/ Подслучай 2 . А ^ А В . Рассматривается тривиально. СЛУЧАЙ Ш. ¿ ( А ) < ¿(В ) , Возможны два подслучая: Подслучай I . £ (А " )< 1 (В " ) .Графически изображаемся так: А‘ а. А" * в ' а______ в" , Последовательность применений нормального алгоритма к слову \Х/ такова: Возможно зацепление слева от первого выделенного вхождения буквы Л- . Через конечное число шагов получим: \Х/’А \Х/“ => \Х/'л‘ 8 'а .В " в 'П1С1В" , , . В" \Х/"> в последнем слове цепочки зацеплений слева о^ первого выделенного вхождения букв» а нет. Так как С (А") < Ц в “) , то нормальный алгоритм переходит ко второму выделенному вхождение буквы а . Через конечное число шагов нормальный алгоритм до­ ходит до части слова \Х/} не содержащей вхождений буквы а . % Подслучай 2 . -С (А ) > I (В ) . Графически изображается так . А ' а/ л " _____ _ . _____________ 3^ _________о. в" Последовательность применений нормального алгоритма н слову такова: и / ' А М " — * У / ' В ' а В " \ Х / " . Возможпо зацепление слева от. первого выделенного вхождения буквы О, . Через конечное число шагов получим: . ' N * / . м/ А \ х / " ^ \ к / ' ^ В 1с 1 В " В ,п > а в " в ‘ п ' а , . ; , в " \ Р " То ' $ в последнем слове цепочки зацеплений слева от первого выделенного вхождения буквы сс нет. Возможно; что будет зацепление вида а 1 • значит, что В - В А . После замены вхождения • 3 6 5 - I