秀丸用チューリングマシンエミュレータ
このマクロプログラムは, 秀丸エディタ for Windows 上で動くチューリングマ
シンのエミュレータです.
チューリングマシンは計算可能性を議論するためにTuringによって考えられた計
算機の数学的なモデルで,計算理論を扱う教科書にしばしば登場します.
仮想的なテープ(シリアルアクセスしかできないメモリをモデル化したもの)上
の記号を読み書きし,1こまずつ移動するヘッドがあるだけ,というきわめて単純
な構成ですが,効率に関することと,メモリの制限に関することを除いては,デジ
タルコンピュータは数学的にはチューリングマシンと等価(お互いに相手のまねが
できる)です.
あまり計算理論になじみのない方にも,チューリングマシンとはどんなものかを
知っていただけるように,実際に試してみることができる例を添付しました.
このマクロプログラムには,次の特徴があります.
*実行するマシンの定義と,テープ上の初期記号列の準備を秀丸エディタ上で行な
い,そのままマクロを実行することにより動作させることができます.
*連続実行の他に,1ステップごとに内部状態を確認しながら実行させることがで
きます.
*動作記録を書き残しながら実行させることができます.
*コードが32から254までの任意の1バイト文字を記号として使用できます.
*同時に使用できる記号の種類は秀丸エディタの最大行幅,内部状態数とテープの
長さは秀丸で扱える最大行数による制限を受けますが,通常の学習や実験には不
足しないと思います.
感想や意見などを Nifty-Serve Windows Forum(F) (FWINF) の会議室に書き込ん
でいただけると幸いです.
ソフト名: | Turing Machine Emulator On HIDEMARU |
---|---|
動作OS: | Windows 3.1 |
機種: | 汎用 |
種類: | フリーソフト |
作者: | 脇本 英治 |