无限循环：确定并打破无限循环

你如何判断一个循环是无限循环并且会跳出它。

有没有人有算法或者可以帮助我解决这个问题。

Thanks

没有通用的算法可以确定程序是否处于无限循环中图灵完备 http://en.wikipedia.org/wiki/Turing_completeness语言，这基本上是停机问题 http://en.wikipedia.org/wiki/Halting_problem.

证明它的想法很简单：

1. 假设你有这样的算法A.
2. 构建一个程序B调用A在其自身上[在B].
3. if A回答“程序将停止”-执行无限循环
4. else [A答案B不停止] - 立即停止

现在，假设您调用A on B- 答案肯定是错误的，因此A不存在。

Note:以上不是正式的证明，只是一个草图。