チューリング機械チューリングきかい

1936年「計算可能数について」でチューリングが導入した、無限のテープと読み書きヘッドと有限の状態遷移表からなる仮想機械である。何が機械的に計算可能かを厳密に定義する装置として、後の電子計算機とチャーチ=チューリングのテーゼの土台となった。