Difference Engineは機械式の加算機であったが、より一般的に、機械的な計算手順でどのような問題が解きうるのかという研究がなされ、1936年に、Alan Turing氏は、計算する機械のモデルとして次のような概念的な機構を考えた。 無限に長いテープがあり、それに書かれたデータを読んだり、新しい値を書き込んだりするヘッドがある。そして、ヘッドから読まれた"1/0"に応じて状態遷移を行う有限のステートマシン(現在の状態とヘッドからの入力の"1/0"に応じて次の状態が定義されており、状態の数が有限の回路)があり、その状態に応じて、ヘッドを1ビット分、右や左に動かし、データを読んだり書いたりする。そして、最終状態と定義した状態に辿り着いたら、問題に対する答えがテープ上に書かれているという機械である。 Stanford Encyclopedia of Philosophyに書かれている足