您要查找的是不是:
- Answering this question correctly for any arbitrary program is known to be an undecidable problem. 还没有方法能从理论上得到证明。
- Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem. 确定一段代码是否总是产生某个常数值,等同于确定程序等效物,无法保证一定能做到。
- On the other hand, it also contains some impractical algorithms, including some undecidable problems such as the unary version of any undecidable problem. 另一方面,它也包含一些不切实际的演算法,包含一些可决定问题,例如一元版的任何非决定性问题。
- I look at this problem from a different viewpoint. 我从不同的观点来看这个问题。
- 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 problem is how we are to get the raw material. 问题是我们怎样得到原材料。
- Heavy traffic poses a problem in many old towns. 交通拥挤是许多旧城镇的难题。
- The problem is quite plain to us. 那问题我们都很明白。
- They dealt with the problem in a purposeful way. 他们处理这问题很果断。
- A new problem has been reared up in production. 生产中出现了一个新问题。
- It was Susan who brought the problem to our notice. 是苏珊提醒我们注意那个问题的。
- I think this problem is very simple and clear cut. 我认为这个问题非常简单明白。
- He often came up against the problem of money. 他那时常常碰到钱的问题。
- Overpopulation is a universal problem. 人口过多是全球性的问题。
- The problem is considerably difficult to us. 对我们来说这个问题相当难。
- As a consequence type checking becomes undecidable. 作为结论类型检查成为不可判定性的。
- People think this problem determination. 人们认为这个问题解决了。
- It was clever of you to solve the problem. 你能解答那个问题真是聪明。