Up チューリング・マシン 作成: 2001-03-29
更新: 2001-03-29


    チューリング・マシンは,コンピュータの最も単純化された形,すなわち「コンピュータとしてはこれ以上削ることができない」形である。

    チューリング・マシンは《一つの状態推移図/動作表を規則としてこれに従って動作する機械》として定式化され,そしてこれはコンピュータの定式化でもある──コンピュータのプログラムが「状態推移図/動作表」。


  • <チューリング・マシン>開発システムの作成

      チューリングマシンの動作表(数の演算など,意味のある動作を起こす動作表)を作成することは,実際問題として至難である。

      そこで,動作表が実現可能なものであることを見るために,<コンピュータに動作表を作成させるシステム>をつくることにする。
      方法は,動作表を機械語(アセンブリ言語)に見なして,これを生成する<高級言語・コンパイラ>をつくるというものである。

      以下が,これの作業内容: