括弧の整合







             このチューリング機械は、左括弧と右括弧からなる入力列が整合しているかどうかを調べます。
             つまり内側から外側へ向かって左括弧と右括弧が全て矛盾なく対になっているかどうかを判定します。
             本体が括弧をXに置き換えていって、全ての括弧を対応づけたとき、
             左端のBがI(integrationの意)に変わり整合されたと認識される。