We could also use DOES-HALT to quickly compute whether or not a program passes its test cases.
我们也可以用DOES - HALT快速的计算一个程序是否可以通过所有的测试用例。
The United Nations Security Council has already passed three sets of sanctions against Iran for refusing to halt its enrichment program.
联合国安理会已经通过了三套针对伊朗的制裁措施，因为伊朗拒绝停止其浓缩铀项目。
Azafady's specialised conservation volunteering program helps halt the decline of this threatened animal.
这是帮助制止狐猴这类濒危动物减少的一项专门的自愿者项目。
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编写一端伪代码，用它来测试当一个程序把它自己作为输入参数时会发生什么好了。
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判断程序是否产生了一个恰当的输出呢？
This code is pretty straight forward: if the program would halt on itself, then SELF-HALT goes into an infinite loop. Otherwise, it halts.
这段代码非常清晰：如果程序在自运行时停机，则SELF-HALT进入死循环，否则SELF-HALT停机。
No DOES-HALT program exists. If it did, we would be able to generate contradictions such as the above -- a program that halts when it should loop forever, and that loops forever when it halts.
DOES-HALT永远不会存在，假如它存在的话就会产生上述悖论——当一个程序无限循环时才会停机，并且当它停机时才会无限循环。
You can halt the program by typing the kill 4009 command, or the page will disappear when you leave your session.
可以输入kill 4009命令来停止该程序，或者在您退出会话时，该页面将会消失。
Sometimes you can actually ignore certain low-level errors or log a message to a file without bringing an entire program to a crashing halt.
有时，实际上您能够忽略某些低级的错误，或保证不使整个程序崩溃的前提下，将消息写入一个文件。
We had to continue program execution twice to get to this point, however by setting a condition on the breakpoint we can make gdb halt only when "value" actually equals "div".
我们必须继续执行两次程序才会发生这种情况，但是只要在断点上设置一个条件就可以使gdb只在 "value" 与 "div"真正相等时暂停。
In this paper, the pro - cess methods of "HALT" or "STOP" and "DELAY" or "DESPLAY" in the working program have also been described in detail.
在加工程序中，处理“急停”、“暂停”、“延时”和“显示”的方法，本文都作了详尽的说明。
It was a secret program that they never admitted to, and when they stopped, it was a temporary halt.
他们一直在秘密进行着活动，尽管他们从不承认。他们停止其实是暂时性的。
The AUDJPY and NZDJPY pared gains on speculation the Bank of Japan's decision to expand its loan program will be insufficient to halt the currency's appreciation.
澳元兑日元和NZDJPY缩减涨幅，因日本扩大银行贷款计划方案将不足以阻止货币升值。
The AUDJPY and NZDJPY pared gains on speculation the Bank of Japan's decision to expand its loan program will be insufficient to halt the currency's appreciation.
澳元兑日元和NZDJPY缩减涨幅，因日本扩大银行贷款计划方案将不足以阻止货币升值。
应用推荐