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

其他单词翻译

英文单词	中文含义
fumarase	n. 延胡索酸酶网络解释富马酶; 延胡索酸每; 延胡索酸酵素
fumarinine	蓝堇宁
fumeroot	熏烟草网络解释熏烟草
fumatory	n. 烟薰室 adj. 烟薰的网络解释烟熏的; 烟熏室; 烟薰室
fumaritine	蓝堇亭
fumes	n. （烟、煤气、新的油漆等发出的）难闻的气味；烟雾，气味( fume的名词复数 ) v. 愤怒( fume的第三人称单数 )；大怒；发怒；冒烟网络解释废气; 燻烟; 臭气
fumble	vi. 乱摸，摸索；笨手笨脚地做；[橄榄球] 失球；[棒球]漏接 vt. 弄乱；笨拙地做 n. 摸索；失球，接漏球
fumet	n. 原汁；熏香剂；增香剂网络解释原汁; 原来; 鱼或野味高汤
fumigacin	n.烟曲霉酸
fumigaclavine	n.烟曲霉文网络解释烟曲霉文
fumigatory	adj.可熏蒸的；熏蒸的网络解释熏蒸的
funboard	n.翻波板
fumigant	n. 薰剂网络解释熏蒸消毒剂; 薰剂; 燻蒸剂
fuming	v. 愤怒( fume的现在分词 )；大怒；发怒；冒烟网络解释烟化; 冒烟; 发怒
functionalis	[医]（拉）功能的，机能的网络解释功能层
fumitory	n. 延胡索属植物网络解释烟雾花; 延胡索; 荷包牡丹
fumigate	vt. 用化学品熏（某物）消毒网络解释熏蒸; 以烟熏消毒; 熏制
functionary	n. 〈贬〉公职人员，官员网络解释公务员; 低级公务员; 职员
funcall	n.功能调用(function call的缩写) 网络解释函数
functionalism	n. 机能心理学，实用第一主义，机能主义网络解释机能主义; 功能论; 实用主义