為一描述所有可計算的函式的數學模型,也就是此模型可計算所有演算法上可計算的問題。
提出此模型當初是用來證明沒有有效的通用解法來解決 Entscheidungsproblem,也就是 decision problem。
On Computable Numbers, with an Application to the Entscheidungsproblem
Deterministic Turing Machine (DTM)
DTM 由一個 7 tuple 所定義
$$(Q, \Sigma, \Gamma, \delta, p_0, b, F)$$其中這 7 tuples 的定義為