| 单词 | decidable |
| 释义 | BETA Examples ofdecidableDictionary> Examples ofdecidable decidableisn’t in the Cambridge Dictionary yet. You can help! Add a definition In general, the set of valid flow judgments for a program is notdecidable. From theCambridge English Corpus Any set withdecidableidentities has collapsed identity sets. From theCambridge English Corpus This suggests thatdecidablerestrictions of our framework may be successfully defined with applications in program transformation. From theCambridge English Corpus To keep the calculusdecidable, one has to settle for internal representations of the definitional equalities in object languages. From theCambridge English Corpus Similarly, we ignore issues related to the decidability of equality and do not require equality to bedecidable. From theCambridge English Corpus This new reconstruction avoids elaboration and isdecidablein theory. From theCambridge English Corpus However, this does not in itself lead to the conclusion that isomorphism of our invariants isdecidable. From theCambridge English Corpus In this paper we prove that the isomorphism problem in this setting isdecidable, even when the assumption of non-singularity is removed. From theCambridge English Corpus The emphasis is on achieving maximum expressiveness whilst maintaining sound,decidableand understandable typechecking. From theCambridge English Corpus And even though we getdecidableunification problems by removing the distributivity axiom, it is not clear that the algorithms can be made efficient enough. From theCambridge English Corpus We also deduce that the parameterised model-checking problem of the universal disjunction-free fragment of the -calculus isdecidable. From theCambridge English Corpus From this, we deduce that the -calculus model-checking problem isdecidablefor this class of systems. From theCambridge English Corpus As a direct consequence of this result, we obtain that provability isdecidablein the considered fragment. From theCambridge English Corpus The only known class of infinite-state processes where simulation preorder/equivalence remainsdecidableare one-counter nets. From theCambridge English Corpus Consider, for example, the property of both believing something, and not believing anything, which entails that arithmetic isdecidable. From theCambridge English Corpus Then one defines a larger, and stilldecidable, class of queries that can easily be rewritten in this 'hereditarily finite' form. From theCambridge English Corpus Equivalence is straightforward between constants, but not between in-line functions or macro definitions; somedecidableapproximation must be agreed upon. From theCambridge English Corpus Depending on the nature of the concepts, the presence or absence of such inconsistencies may not bedecidableor tractable. 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. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。