2022年05月17日更新
Mathematica による Turing Machine Program
−もう86歳に成ったのですねー
Turing Machine というのは，1936年!! にイギリスの Alan Turing が編み出したとても単純な機能しか持たない理論的なコンピュータです．(googleすると簡単に見つかります)
メモリーさえ持ちません．持っているのは「一本のテープ」と「文字を一度に1つ書き込めるヘッド」だけです．ヘッドは左右に1つずつ移動できます．そしてコンピュータは内部状態を持つことができます．このテープと内部状態がメモリーの代わりになります．私は去年（2021年春)
初めて "Computability and logic(Boolos,Jeffrey著)"という本で
そのプログラミングを実際に知ったのですが，余りにも原始的なプログラムに逆に引かれました．普通なら一行で済むところが，何十行にもなります．例えば割り算のプログラムを書くのに1週間も掛かります．でもそれは魅力でもあります．「これはなかなか面白い」と思った一年後に"C言語による計算の理論（鹿島亮著)”という本を読んだのですが,それがダメ押しとなりました．こちらのTuring
machine は前者のものと比べて，一度に文字を書くことと，移動することができるので，プログラムが前者のものに比べてずーと短くなり見通しが良くなります．それが斬新でまたまたハマってしまい，例題や練習問題（解答なし)を実際にMathematica(ver11)でプログラムを書きながら作成＆検証しました．2度の遭遇でファイルも少し溜まったので，せっかくなので皆さんとシェアしたいと考えアップロードすることにしました．ファイルは3種類あります．
- *.nb - Mathematica を持っている方用． Manipulate を使ったアニメーションは言うまでもなく，初期条件（初期テープ）を変えることもできます．
- *.cdf-. Mathematica のサイトから cdf player(無料) をダウンロードすれば，アニメーションが楽しめます．初期条件は変えられません.
- *.pdf- プログラムとその実行経歴を見ることができます．
プログラムはやはり動かしてみないと面白さはわからないですね．でしょう？(^o^) Mathematicaをお持ちでない方でも，インターネット上では無料の
Turing Machine シミュレーター が山ほど見つかります．「turing machine simulator」と
Google すれば10個以上のサイトがすぐ見つかりました．(例えばココは，各ステップがよく分かるし，かつ入力も容易です．Mathematicaの入力形式からの変更もすぐできます．）
驚くことに iphone/ipad 用のアプリまで有りました．結構外国では人気のようです．Turingが見たらさぞ驚くことでしょう．(彼はあくまで理論的なマシーンとして考えたのではないでしょうか？実際に動かすことは考えてなかったと思います．いくらなんでもプログラミングが難しすぎます) Turing
machine が誕生して今年で86年になります．100年とか特別な年ではないですが，やはりコンピューターは長い道のりを歩いてきたなーと感じます． なお自作の解答は間違っているかも知れません．また本の例題なども入力ミスが有るやもしれません．その場合はご連絡をいただけると幸いです．
個人的にお気に入りなのは，BinSeq, SeqBin, BB５です．直近の一週間は BusyBeaver（BB)
に興味を持っていました．詳しいことは下のBB５をご覧ください．ただしBB5は計算に５分もかかるプログラムが入っているので
「ノートブックを評価」する時はご注意ください．しかし初期条件を変えない場合は評価は不要です．また
cdf player で開けない場合は pdf をご覧ください．(Mathematicaで開ける場合でも
cdf player で開けないケースが時々あるようです.)
Top pageへ