How could we use DOES-HALT to determine if a program produces the correct output for a specific input? Keep in mind that DOES-HALT does just that — it halts.
对于一个特定的输入来说，我们如何用DOES - HALT判断程序是否产生了一个恰当的输出呢？
Some programs might never halt when run on themselves, though -- so let's use DOES-HALT to write pseudo-code for a program that checks to see what happens when a program is given itself as input.
有些程序在把它们自己当作输入运行时，可能永远不会停下来，既然这样——那么让我们用DOES-HALT编写一端伪代码，用它来测试当一个程序把它自己作为输入参数时会发生什么好了。
应用推荐