Turing Machine Emulator On HIDEMARU

ソフト詳細説明

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

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

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

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

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

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

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

動作環境