确定图灵机器将在给定特定输入程序的情况下停止。停顿问题是可以解决的对于少于四种状态的机器。然而，四州案件尚未解决，并且五国案件几乎肯定无法解决，因为它包括以下事实机器迭代科拉茨-像同余函数一样，这些具体问题目前尚未解决。问题是图灵机器暂停是无法确定的,正如图灵首次证明的那样（Wolfram 2002，第1136-1138页）。
另请参见
忙碌的海狸,Chaitin的常量,图灵机器,无法确定
与Wolfram一起探索| Alpha
工具书类
查廷·G·J·。《计算忙碌的海狸函数》第4.4节正常开放通信与计算中的问题（编辑：T.M.封面和B.戈皮纳斯）。纽约：Springer-Verlag，第108-112页，1987年。戴维斯，M.《什么是计算》数学今日：十二篇非正式散文（编辑：L.A.Steen）。纽约：Springer-Verlag，第241-267页，1978年。彭罗斯，R。这个皇帝的新思想：关于计算机、思想和物理定律。英国牛津：牛津大学出版社，第63-661989页。图灵，上午。“关于可计算数字，以及Entscheidungsproblem的应用程序。”程序。伦敦数学。Soc.序列号。2 42, 230-265, 1937. 重印于这个无法确定（大卫编辑）。纽约州休利特：Raven出版社，1965年。图灵，上午。“更正：关于可计算数字，以及对Entscheidungs问题。"程序。伦敦数学。Soc.序列号。2 43, 544-546,1938沃尔夫拉姆，S。A类新型科学。伊利诺伊州香槟：Wolfram Media，第1136-1138页，2002年。
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“暂停问题。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/HaltingProblem.html
主题分类
