>>676
すまん。この余白は証明を書くには狭すぎる。byフェルマー
と言いたくなる。

大ざっぱな方針としては３本のテープを重ねたもの（各状態の組み合わせ）をテープとする。
２本はシミュレートされる機械のテープそのまま。
もう一本でシミュレートされる機械のヘッドの位置を表す。