14/05/26 12:57:51.49
何度かトライ(631,633,637,642)しましたが、結局、
記号列を食べるある関数F[]を用意し、それが、
F[A(X(Y)Z)B] ＝ F[A(XYZ)B] ＋ α
F[A(XYZ)(XYZ)...(XYZ)B] ＝ F[A(XYZ)B] ＋β
ただし、常に、α＞β≧０ （「任意個」のβが積み重なっても、αより小さい）
を満たせばよいということですよね。
そのようなF[]が存在するのは確かっぽいけど、具体的な中身は、当初の予想とは異なり面倒そうです。