万能チューリング機械またはＵＴＭとしても知られる万能機械は、他の任意のチューリング機械をシミュレートすることができるチューリング機械である。 それは同じくラムダ計算を発明したアロンゾ教会によって数学的に定義されました。 チューリングのものと組み合わされた教会の仕事は、教会 - チューリング論文として知られる正式な計算理論を生み出した。

コンピュータの頭字語、ハードウェア用語