0と1の等価認識(等価)







             このチューリング機械は、一連の0と1について左から0と1を対応づけ、
             対応づけたことが分かるように0と1をそれぞれX、Yに書き換えていく。
             全ての0と1が対応づけられれば最終状態に移って停止します(=等価が認識された)。