Vectorトップへ

ソフト詳細説明

　このマクロプログラムは， 秀丸エディタ for Windows 上で動くチューリングマ
シンのエミュレータです．

　チューリングマシンは計算可能性を議論するためにTuringによって考えられた計
算機の数学的なモデルで，計算理論を扱う教科書にしばしば登場します．

　仮想的なテープ（シリアルアクセスしかできないメモリをモデル化したもの）上
の記号を読み書きし，１こまずつ移動するヘッドがあるだけ，というきわめて単純
な構成ですが，効率に関することと，メモリの制限に関することを除いては，デジ
タルコンピュータは数学的にはチューリングマシンと等価（お互いに相手のまねが
できる）です．

　あまり計算理論になじみのない方にも，チューリングマシンとはどんなものかを
知っていただけるように，実際に試してみることができる例を添付しました．

　このマクロプログラムには，次の特徴があります．

＊実行するマシンの定義と，テープ上の初期記号列の準備を秀丸エディタ上で行な
　い，そのままマクロを実行することにより動作させることができます．
＊連続実行の他に，１ステップごとに内部状態を確認しながら実行させることがで
　きます．
＊動作記録を書き残しながら実行させることができます．
＊コードが32から254までの任意の１バイト文字を記号として使用できます．
＊同時に使用できる記号の種類は秀丸エディタの最大行幅，内部状態数とテープの
　長さは秀丸で扱える最大行数による制限を受けますが，通常の学習や実験には不
　足しないと思います．

　感想や意見などを Nifty-Serve Windows Forum(F) (FWINF) の会議室に書き込ん
でいただけると幸いです．

動作環境