チューリング‐マシン【Turing machine】 チューリングが提案した普遍的計算機の数学モデル。実際のコンピューターと多くの類似性を持つ。計算可能性の概念を定義するために用いられた。チューリング機械。 ⇒チューリング【Alan Mathison Turing】