このチューリング機械は、一連の０と１について左から０と１を対応づけ、
             対応づけたことが分かるように０と１をそれぞれＸ、Ｙに書き換えていく。
             全ての０と１が対応づけられれば最終状態に移って停止します（＝等価が認識された）。
             対応づけられない０か１が残った場合、状態関数の値が定義されていない（遷移表の斜線部）ので、
             強制的に停止させられる。
             この時の状態は最終状態以外なので、等しくないと認識されます。
             (この場合、ROUND17で状態S1の時、Bを読んでも次動作に行けない）