Cтраница 1
ВЫделенное вхождение подцепочки и2 в цепочку QI является подцепочкой правого массива этого подтерма. [1]
Сг, в области действия которого лежит выделенное вхождение г. ( Теорема о замене. [2]
Пусть Г - некоторое дерево из множества А ( Г) и Q xlcx2dx3 - - некоторый Г - терм, в котором выделенные вхождения символов с и d соответствуют друг другу. Тогда в дереве Т можно указать вершину а с пометкой Л, такую, что цепочка cx d является Г ( а) - термом, а цепочка XiAx3 является СТ ( а) - термом. [3]
Как нетрудно видеть, цепочка y wu y y wy представима в виде ylUiJ twy2 Zicasu ] J zdy, где s0 - некоторое число, z и у - некоторые цепочки и выделенные вхождения cud соответствуют друг другу. Но это невозможно, так как левый и правый массивы этого Г - терма имеют разные длины. [4]