停机问题 halting problem的用法和样例：例句It turns out that proving programs c

中文解释

证明程序是正确的等价于解决停机问题。