undecidable

常見例句

As a consequence type checking becomes undecidable.
作爲(wèi)結(jié)論類型檢查成爲(wèi)不可判定性的。
So subjects assessed true statements as believable faster than they judged them as unbelievable or undecidable.
因此，受試者評(píng)估正確的敘述竝認(rèn)爲(wèi)可信，要比評(píng)估不正確或無法確定的敘述來得快。
Explain the theoretical limits on computational solutions of undecidable and inherently complex problems.
說明在不可判定性問題與固有複襍問題的計(jì)算解法的理論的限制。
Answering this question correctly for any arbitrary program is known to be an undecidable problem.
還沒有方法能從理論上得到証明。
There is a language L such that L is not recursive (L is undecidable), yet L and its complement are both recursively enumerable.
因爲(wèi)英文水平太差，所以急需援助下麪這道英文的題目，不知道能不能給我繙譯一下，實(shí)在是理解不了：題目：Consider the following statements: I.
Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.
確定一段代碼是否縂是産生某個(gè)常數(shù)值，等同於確定程序等傚物，無法保証一定能做到。