4 对于理想计算机上的纯程序，暂停问题是否可以确定？ 很容易理解为什么暂停问题对于不纯程序（例如，具有I / O和/或依赖于机器全局状态的状态的程序）无法确定的原因；但是从直观上看，似乎可以通过例如静态分析来确定在理想计算机上停止纯程序。 实际上是这样吗？如果不是，那么哪些反例或论文反驳了这一主张？ 25 halting-problem static-analysis