您要查找的是不是：
- The first area is represented by the "Halting Problem" in computer science. 第一个领域的代表是计算机科学中的“停机问题”。
- It turns out that proving programs correct is equivalent to solving the Halting Problem. 证明程序是正确的等价于解决停机问题。
- Alan Turing proved in 1936 that a general algorithm to solve the Halting Problem for all possible inputs cannot exist. Alan Turing在1936年证明了对所有可能输入解决停机问题的通用算法是不存在的。
- The patrolman signed for them to halt. 巡逻警察做手势要他们停下。
- He tried to bring that debate to a halt. 他试图使这场辩论停止。
- The officer called a halt to attacks. 那个军官下令停止进攻。
- From a theoretical point of view, the separation of data and code in von Neumann machines is equivalent to the halting problem; hence, a complete static translation is not possible. 从理论上说,分离von Neumann上的数据和代码就好象停机问题,因此完全的静态翻译是不可能的。
- The strike brought industry grinding to a halt. 由於罢工生产逐渐停顿下来。
- I look at this problem from a different viewpoint. 我从不同的观点来看这个问题。
- The car screeched to a halt with grinding brakes. 汽车停住时发出刺耳的刹车声。
- She skirted round the problem of the high cost. 她避而不谈巨额费用问题。
- It may take a long time to find a solution to the problem. 也许要花很长时间才能找到解决这个问题的办法。
- In dealing with the problem he was cautious to an extreme. 他在处理这个问题时谨慎得过分了。
- The train ground to a halt only inches from the damaged bus. 火车缓慢地停下来时离损坏了的公共汽车只有几英寸的距离。
- The problem is how we are to get the raw material. 问题是我们怎样得到原材料。
- Heavy traffic poses a problem in many old towns. 交通拥挤是许多旧城镇的难题。
- If trade doesn't improve soon, the industry will grind to a halt. 如果商业不迅速恢复景气，工业就要陷入停顿。
- The problem is quite plain to us. 那问题我们都很明白。
- They dealt with the problem in a purposeful way. 他们处理这问题很果断。
- Work was brought/came to a halt when the machine broke down. 机器出了毛病，工作便停顿下来。
