チューリングマシーン【Turing machine】 1936 年チューリングが考案した仮想的計算機。オートマトンやアルゴリズム理論の数学的モデルとなる。