halting problem

• 停机问题

halting problem的用法和样例：

例句

1. It turns out that proving programs correct is equivalent to solving the Halting Problem.
   证明程序是正确的等价于解决停机问题。