アラン・チューリング (Alan M. Turing)(1912~1954) はイギリスの数学者で、 チューリングマシンは1936年に発表された彼の論文、 「計算可能数についての決定問題への応用」 の中で、計算を数学的にモデル化するために提唱された仮想の計算機です。 チューリングマシンは無限に長いテープと、 テープに書かれている記号を読みとって内部の状態を変える自動機械 (オートマトン) からなっています。 このページではこれをヘッドと呼び、下図のようなイメージで表すことにします。 ヘッドはその内部状態と読みとった記号 (入力) に応じて、 次にテープに書くべき記号を出力し、右か左にひとつ移動して内部状態を変えます。 これを停止するまで繰り返し実行します。 いま、ある数値をひとつだけ大きくする、つまり 1 を加えるという 「計算」 を考えてみます。 (これをインクリメント (increme

