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 .我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。

其他单词翻译

英文单词	中文含义
guardhouse	n. 卫兵室，禁闭室网络解释警卫室; 护卫员室; 警卫塔
guarapari	n.瓜拉帕里（巴西、玻地名）网络解释瓜拉帕里; 瓜拉派瑞; 拉巴利
guanylate	[医]鸟苷酸网络解释鸟苷酸; 鸟苷酸盐类; 鸟苷酸盐類
guaranteed	v. 担保(guarantee的过去式和过去分词) adj. 有保证的；有人担保的网络解释保证; 有保证的; 保证值
guanochlor	[化] 胍氯酚
guardian	n. 监护人；保护者，维护者；法国修道院院长网络解释卫报; 守护者; 保护人
guard	n. 警卫；狱吏，看守；护卫队；防护装置 vt. 保卫，守护；看守；加防护装置；谨慎使用 vi. 警惕；警卫
guanylurea	胍基甲酰胺网络解释胍基甲酰胺
guaranteeing	vt. 保证，担保（guarantee的现在分词形式）
guanoclor	n.胍氯酚
guardians	n. 监护人( guardian的名词复数 )；保护者，维护者网络解释守卫者; 守护者; 电神魔傀
guard-boat	n.监视船；警戒艇
guapo	n.（Guapo）人名；（西、葡）瓜波网络解释英俊的; 瓜波
guarantees	n. 担保( guarantee的名词复数 )；担保品；保修单；抵押品
guanoctine	n.双胍盐网络解释胍诺克汀; 胍诺克丁
guardianship	n. 保护，守护，监护人的职责网络解释守护; 监护权; 保护
guardant	n. （徽纹）兽面为正面而兽身为侧面的，〈废〉充当卫士或护卫者
guar	abbr. guaranteed 有保证的；有担保的；guaranty 保证；pyt guarantee of payment 付款保证网络解释瓜尔胶; 瓜儿豆胶; 瓜拉树
guarantied	v. 保证，抵押，担保( guaranty的过去式和过去分词 )
guanophore	n.含鸟粪素细胞；闪光细胞