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

- ъьц- К /'л‘ 8 ' а в " 8 ,л' а 8 ,' в " ,'л . . . в " К /" I_________ * € в котором зацеплений- слева от первого выделенного вхождения буквы а нет. Возможно, что будет зацепление вида *- 5—1 тогда; « \ В "Ь т'а ...В"\Х/"—* И /" ’* " В‘(1В"8ипЪ'П1аВ". .. й V " . — * Можно считать, что в последнем слове зацеплений вида нет. Если будет зацепление вида ‘- у -1 ; т о , так как В "± А"В* , нормальный алгоритм не будет применяться к первому выделенному вхождение буквы Л. . Но ¿(В')< I (А1) значит', первое и второе выделенные вхождения буквы й- сближаются до тех пор, пока длина слова между ними не станет меньше £ (А1) , Нормальный алгоритм переходит к третьему выделенному вхождении буквы & . Через конечное число шагов нормальный алгоритм дой­ дет до части слова \ХУ , не содержащей вхождений буквы (X, . Если б) В ^ А "Вк ', то в этом случае последовательность применений нормального алгоритма к слову ^ такова: • ]^'ЛкВ'аВ"В1П'аВ"В1П'С1 .. . а В "В ,п' а В и ^ " Так как В $ А В V то в последнем слове ' V ) возможно только зацепление вида ‘-у -' _ . Значит*, V * ‘ В 'аВ "в ,п' а В " В ,п'С 1 . . . а в ‘'в 'п'с 1 В ," ’В,а . д " 1 Х '"п I------- ---------- - Возможно, что будет зацепление вида . После замены ‘- у ' может появиться зацепление у буквы а. | отмеченной + . Через конечное число шагов получим слово типа (*) Продолжая процесс, дойдем до части слова № не содержащей вхождений буквы О, . 1