编译器可以检测到无限循环条件吗?

Ash*_*han 1 compiler-construction loops infinite-loop

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

如果是这样,我该如何实施呢?

Kri*_*son 5

您可能能够检测到一些无限循环,但通常您无法检测到所有可能的无限循环(除非您的自定义语言专门用于消除一般循环结构).见http://en.wikipedia.org/wiki/Halting_problem.