什么是停止的原因

Question

暂停问题表明，给定输入和程序，没有 可以决定程序将停止的天气的算法。这使得这个问题变得不可判定。 我对停止问题的误解是，我们不能 只需创建另一个程序，可以检查程序是否有 无限循环。我只是说有可能检查案件 循环不会停止的地方，并根据该决定程序是否会停止 或不。请问我能否告诉我对这个问题的理解有什么不对？

Answer 1

嗯，你知道，停止问题的证据非常简单。 让我们假设你有一个程序告诉你一个给定的程序是否会停止（为简单起见，忘记输入）。让我们称这个程序为haalt（程序）。 现在让我们编写一个名为

的新程序

myHalt() 
  if doesHalt(myHalt):
     infinite loop
  else 
     return

的返回值应该是多少

doesHalt(myHalt)

回答您的具体问题：您的程序检查循环将如何知道给定的循环是否停止？ 循环

for (i = 1; i += 10; ) {
   if (i == 7) break;
}

永远循环还是不循环？你的计划是如何解决的？