>Сторона, с которой растёт башня завистит от того, определяется ли OP(p+q) как OP(p)^OP(q) или OP(q)^OP(p) (где p и q последовательности из более чем 1 элеменнта, а "+" --- конкатенация) --- независимо от расстановки скобок.

Нет, это уже совсем неверно.
Операция возведения в степень не является ассоциативной.
По этой причине последовательность p в определении
OP(p+q) должна состоять ровно из одного элемента
— иначе определение будет просто некорректным.
А в силу расстановки скобок в моей формулей
корректным вариантом будет только OP([p]+q)=p^OP(q).
Поскольку OP([p]) = p, имеем OP([]) = 1.

(Reply to this) (Parent) (Thread)

Да, вы правы, конечно, совершенно нелепая ошибка.

(Reply to this) (Parent)