>>380
最も左のλを簡約すれば
有限回で正規形に到達する。
そうでなければ一般には簡約が終わらない。