algorithm - 停止的确切原因是什么

Question

停止问题指出，给定一个输入和一个程序，没有算法可以决定程序将停止的天气。这使得这个问题无法确定。我对停机问题的误解是，我们不能只创建另一个程序来检查程序是否有无限循环。我只是说可以检查循环不会停止的情况，并据此决定程序是否会停止。请你能告诉我我对这个问题的理解有什么问题吗？

Answer 1

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

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

返回值应该是多少

doesHalt(myHalt)

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

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

永远循环还是不循环？你的程序是怎么计算出来的？