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