チューリング‐マシン【Turing machine】 一九三六年、英国の数学者Ａ＝Ｍ＝チューリングが提出した思考上の機械。計算の過程を抽象化した数学的なモデル。現在のコンピューターの理論的原型ともいえるもの。