| 单词 | undecidable |
| 释义 | BETA Examples ofundecidableDictionary> Examples ofundecidable undecidableisn’t in the Cambridge Dictionary yet. You can help! Add a definition Because of the (conv) rule, the relation c may beundecidable. From theCambridge English Corpus Note that the property structurally recursive is actuallyundecidable, hence we cannot hope for a complete decision procedure. From theCambridge English Corpus It follows that the right-hand side is alsoundecidable. From theCambridge English Corpus If not so, we would be able to solve the marking equivalence problem that is known to beundecidable. From theCambridge English Corpus The subtyping problem for second order types isundecidable. From theCambridge English Corpus However, semantic completeness is achieved at the cost of making the set of types of a termundecidable. From theCambridge English Corpus For example, if a first-order theory including arithmetic is being used, then consistency isundecidable. From theCambridge English Corpus Since the totality of recursive functions it is, in general,undecidable, this interpretation is not a computational model of functional programming. From theCambridge English Corpus Ideally, one would like to search by specification, but even if library functions were formally specified, it would beundecidablewhether two specifications were equivalent. From theCambridge English Corpus The instrumented semantics can be thought of as an exact (thoughundecidable) flow analysis. From theCambridge English Corpus As a consequence, the halting problem for register machines isundecidable. From theCambridge English Corpus A smaller set of errors areundecidableeven given non-local structural information, and require further pragmatic knowledge of the discourse. From theCambridge English Corpus As it is possible to have blank nodes in the conclusion of a rule, log:conclusion and log:supports areundecidableand may run forever. From theCambridge English Corpus There, it is shown that adding reset to the language used in this paper makes even reachabilityundecidablefor programs with at least two arrays. From theCambridge English Corpus In a global setting, when type sharing constraints are involved, this kind of question isundecidable. From theCambridge English Corpus This fact affects our results as well since we rely on o derivability, which is generallyundecidable, too. From theCambridge English Corpus In all their generality, they are certainlyundecidable. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉双解词典包含207842条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。