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

其他单词翻译

英文单词	中文含义
serotinal	adj. 晚夏的
serotine	n. 欧洲栗色小蝙蝠 adj. 晚的网络解释大棕蝠; 羟色胺
serous	adj. 如水的；浆液（状）的；血浆的；含浆液的网络解释浆液性; 浆液型; 浆液性腺泡
serotinous	adj. 晚熟的，夏末的，在秋季开的
serov	n.谢罗夫（俄罗斯地名）网络解释谢洛夫; 谢罗夫; 谢罗夫镇
serpedo	n.牛皮癣
serotonergic	adj. 含血清素的，血清素激活的网络解释血清素能; 血清素激性的; 血清素活性
serpentiform	adj.蛇形的，蛇状的
serovaccination	血清菌苗免疫法网络解释血清疫苗接种
serpeggiante	n.木纹黄石；法国木纹石网络解释法国木纹; 法国木纹石; 木纹黄石
serotonin	[医]5-羟色胺网络解释血清素; 血清促进素; 血清张力素
serpentine	adj. 像蛇般蜷曲的，蜿蜒的；阴险的；弯弯曲曲的 vt. 使迂回曲折地行进 vi. 像蛇般行进 n. [矿物] 蛇纹石网络解释蛇纹岩; 蛇行线; 蛇根碱
serpentuate	vi.盘旋，蛇行网络解释盘旋; 蛇行
serovaccine	血清菌苗
serpent	n. 蛇；狡猾的人网络解释大毒蛇; 阴险的人; 巨蛇
serotoninergic	adj. 含血清素的，血清素激活的网络解释血清素的; 血清素能; 血清素性
serpentined	v. 像蛇般蜷曲的，蜿蜒的( serpentine的过去式和过去分词 )
serpentuator	蛇形管网络解释蛇形管
serovar	[微]血清变型血清型网络解释血清变型; 血清变异株; 血清变种
serotoxin	血清毒素