14/05/26 00:41:37.68
>629
> (X(Y)Z)の外側および内側の括弧はそれぞれ対応する括弧であるものとし
仮定から、この操作が可能ならばX,Y,Zにまたがる括弧の組は無い。
従ってこの操作で生成される(XYZ)内の括弧の組は(X(Y)Z)より一つ少なく、
かつ、(XYZ)をいくつ繋げても(XYZ)をまたぐ括弧の組は生まれない。
ゆえに(XYZ)の繰り返し回数が有限ならばこの操作は有限回で収束する。
14/05/26 00:41:37.68
>629
> (X(Y)Z)の外側および内側の括弧はそれぞれ対応する括弧であるものとし
仮定から、この操作が可能ならばX,Y,Zにまたがる括弧の組は無い。
従ってこの操作で生成される(XYZ)内の括弧の組は(X(Y)Z)より一つ少なく、
かつ、(XYZ)をいくつ繋げても(XYZ)をまたぐ括弧の組は生まれない。
ゆえに(XYZ)の繰り返し回数が有限ならばこの操作は有限回で収束する。