DOES-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.
这段代码非常清晰:如果程序在自运行时停机,则SELF-HALT进入死循环,否则SELF-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.
通过研究NEDC循环工况下整车的瞬态排放情况,分析了减速断油及怠速停机过程中,氧浓度及温度的变化对催化器转化效率的影响。
The influence of oxygen concentration and temperature on the conversion efficiency of catalytic converter was analyzed by examing the transient emission in NEDC(new European driving cycle).
应用推荐