チューリング・マシンは，コンピュータの最も単純化された形，すなわち「コンピュータとしてはこれ以上削ることができない」形である。
チューリング・マシンは《一つの状態推移図/動作表を規則としてこれに従って動作する機械》として定式化され，そしてこれはコンピュータの定式化でもある──コンピュータのプログラムが「状態推移図/動作表」。
- ＜チューリング・マシン＞開発システムの作成
チューリングマシンの動作表（数の演算など，意味のある動作を起こす動作表）を作成することは，実際問題として至難である。
そこで，動作表が実現可能なものであることを見るために，＜コンピュータに動作表を作成させるシステム＞をつくることにする。
方法は，動作表を機械語（アセンブリ言語）に見なして，これを生成する＜高級言語・コンパイラ＞をつくるというものである。
以下が，これの作業内容：
|