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.

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

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

Description logics are fragments of the first-order logic ,which contain concepts,roles,and concept and role constructors;and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

与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