decidable的意思_decidable的中文翻译|音标|读音|用法|例句

decidable

美：[dɪ´saɪdəbl] 英：[dɪ´saɪdəbəl]

中文翻译

adj. 可决定的

网络解释

可判定的; 可确定的; 可判定的可判定的

英文短语

1.decidable proposition [计]可决策命题

2.entscheidbar decidable 不可判定的

3.semi-decidable [数]半可判定的

4.entscheidend decidable 不可判定的

5.decidable language 可解语言

6.recursively decidable 递归可判定

7.partially decidable problem 部分可解问题

8.decidable subclause 可判定子句

9.decidable subclass [计]可判定子类

英文例句

1.You can validate absolutely any string that conforms to any decidable set of rules.您可以彻底检查任何字符串是否符合任何可确定的规则集。

2.The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.受限制的条款规定，成为可判定，并而且能非常有效地实施。

3.Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。

4.Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

5.Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。

其他单词翻译

英文单词	中文含义
protomerite	前节网络解释前端
protomylonite	[岩]原生糜棱岩初糜棱岩网络解释初糜棱岩; 原生糜岭岩; 初糜岩
protoloma	前翅前缘网络解释前翅前缘
protomers	n.[生化]原体网络解释体
protonephridium	n.原肾管网络解释原管肾; 比较原肾管
protomyosinose	n.原肌浆球蛋白标
protonephron	n.原肾网络解释毛细管构成原肾
proton	n. [物]质子网络解释普腾; 宝腾; 宝腾汽车
protonephros	[医] 原肾, 前肾
protones	水解鱼精蛋白网络解释水解鱼精蛋白
protoparce	烟草天蛾
protoneuron	n.初神经元，第一神经元网络解释第一神经元
protophilia	n.亲质子性
protopathic	adj.原发的，感受神经初感的网络解释原始感觉
protonic	adj.质子的网络解释波特; 法国贝蒂丹奴波特; 始基的
protoplasia	[医] 初期组织形成
protophilic	adj.亲质子的网络解释亲质子的; 强硷的; 强碱的
protons	n. 质子( proton的名词复数 ) 网络解释原子核; 发现质子; 氢核
protopectin	n.原果胶网络解释原果胶质; 原果肢; 果胶原质
protoporphyrin	n.[有化]原卟啉网络解释原卜啉; 原吡咯紫质; 锌前吡喀紫质