チューリングマシン: 機械式の模型

5つの動作を、動く機械の部品で見る

この章では、しくみの模型で見た5つの動作を、軸・ドラム・レジスタ・パンチ・ギアが順番にかみ合う機械の模型で見ます。歴史上の機械の再現ではありません。「読む → ルールを選ぶ → 書く → 動く → 状態を切り替える」が、部品ごとに順番に動くよう分けられた機械として読めるようにするのが目的です。

考えるための機械としてのチューリングマシンは Stanford Encyclopedia of Philosophy: Turing Machines の定義を参照し、この章ではそれを説明用の機械式の模型に置き換えています。