1936年、アラン・チューリングによって考案された、計算を行う自動機械の数学的モデル。

もっとも単純化されたコンピュータのモデルとして知られる。