【Phun】チューリングの機械

かなり端折っているので、チューリングマシンそのものについての詳しい解説は、ニコニコ大百科『アルゴリズム』をどうぞ。あと空白記号も複数bitで表現される記号のひとつであって実際のシステムとしては1bitでも成り立つんだけどその辺の説明をすっ飛ばしていきなり[1,0,B]の三態としてるシミュレータって多いよね、って言いたかったんだけどそれを書くには余白が足りなかった。orz mylist/11909957

http://www.nicovideo.jp/watch/sm22082958