loops - 编译器可以检测到无限循环条件吗？

Question

我正在为自定义语言构建编译器。编译器是否可以在不运行程序的情况下检测任何无限循环条件？

如果是这样，我该如何实施？

Answer 1

您可能能够检测到一些无限循环，但通常您无法检测到所有可能的无限循环（除非您的自定义语言专门设计用于消除一般循环结构）。请参阅http://en.wikipedia.org/wiki/Halting_problem。