如何编写程序以检测另一个程序中的无限循环

Question

在编写程序期间，我经常遇到无限循环。

如何编写一个以另一个程序作为输入并确定是否存在无限循环的程序？

Answer 1

不能。而且，我的意思不是“真的很难”。我的意思是“这是自计算机科学领域创建以来人们一直试图解决的计算机科学中的一个众所周知的问题，如果您能解决它，那么您将立即举世闻名。”

艾伦·图灵（Alan Turing）证明了它无法解决，而且没人能证明这一点，这就是为什么我说“如果您能解决这个问题，那么您将举世闻名。”

请参见The Halting Problem。