14/05/24 21:02:16.76
>>632
なるほど、空振りなら、無限回可能ということですね
では、この修正ではどうでしょう。
一番最初に、(X(Y)Z)型の部分列全てに対して、({X}(Y){Z})と、仮想括弧{}を補ってしまいます。
そして、仮想括弧を通常の括弧と同一視した状態で、「深さ」を考えることにします。すると、
>>(X(Y)Z)→(XYZ)(XYZ)...(XYZ)
という置き換えで、X,Y,Z の（修正版の）深さは、1ずつ減ることになります。
14/05/24 21:02:16.76
>>632
なるほど、空振りなら、無限回可能ということですね
では、この修正ではどうでしょう。
一番最初に、(X(Y)Z)型の部分列全てに対して、({X}(Y){Z})と、仮想括弧{}を補ってしまいます。
そして、仮想括弧を通常の括弧と同一視した状態で、「深さ」を考えることにします。すると、
>>(X(Y)Z)→(XYZ)(XYZ)...(XYZ)
という置き換えで、X,Y,Z の（修正版の）深さは、1ずつ減ることになります。