停止的确切原因是什么

Question

暂停问题指出给定输入和程序，没有可以决定程序停止的天气的算法。这使得这个问题无法确定。我对停机问题的误解是，难道我们不能只需创建另一个程序来检查该程序是否具有无限循环。我只是说有可能检查案例循环不会停止的地方，并据此决定程序是否会停止或不。请让我知道我对这个问题的理解有什么问题吗？

Answer 1

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

的新程序

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

的 return 值应该是多少

doesHalt(myHalt)

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

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

是否永远循环？您的程序是如何解决这个问题的？

what is exactly the reason of halting