停止問題

チューリングマシンとは何か チューリングマシンとは、数学者アラン・チューリングによって1936年に提唱された計算理論の概念モデルです。このモデルは、どのような計算問題でも解ける普遍的な機械を想定しており、現代のコンピュー