編譯器能檢測到無限循環條件嗎？

Question

我正在構建自定義語言的編譯器。編譯器是否可以在沒有運行程序的情況下檢測到任何無限循環條件？

如果是這樣，我該如何實現它？

Answer 1

您可能能夠檢測到一些無限循環，但通常情況下，您無法檢測到所有可能的無限循環（除非您的自定義語言是專門爲消除一般循環結構而設計的）。見http://en.wikipedia.org/wiki/Halting_problem。