decidable [di'saidəbl]

decidable的基本解释

adj.

可决定的

与decidable相关的网络例句 [注：此内容来源于网络，仅供参考]

The well limit behavior can be used to get sufficient conditions for an infinite object to be approximable, for a theory to be limit decidable and for an incremental computation to be correct.

良极限行为可以用于获得如下无穷形式对象可逼近的充分条件、使用极限判定方法的充分条件和增量式计算正确性的充分条件。

For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.

为此，人们普遍要求每个证明步骤可以验证的原始递归函数或程序，因此这个问题始终是判定。

Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.

而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。

Finally, by discussing the concept of action, this paper tries to show that people aren't completely decidable. But this undecidability should be comprehended in the context of self-understanding. The author's personal view is that self-understanding is the demonstration of self-realization.

最后将透过对行动概念的讨论，说明人的不可完全决定性，但这个不可决定性必须在人对自我理解意义上来理解，个人以为自我理解就是人的自我实现的具体呈现。

Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable.

我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。

与decidable相关的网络解释 [注：此内容来源于网络，仅供参考]

decidable：可决定的

形式系统:这个列举演算法称为语言的产生规格.语言相关的说明(Cont'd)若一语言的所有字串经由产生句子之演算法有限个步骤处理后都能决定是否合法,则此语言称为可决定的(decidable).英文太含糊而且易导致定义不明确,

decidable：可判定的 可判定的

data-valued property数据值属性數據值屬性 | decidable可判定的可判定的 | declaration声明, 宣告聲明, 宣告

decidable：可判定的

data-valued property 数据值属性 | decidable 可判定的 | declaration 声明, 宣告 聲明, 宣告

decidable：可解

可判定子类 decidabe subclass | 可解 decidable | 可解语言 decidable language

recursively decidable：递归可判定

递归可枚举 recursively enumerable | 递归可判定 recursively decidable | 递归不可分 recursively inseparable