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

其他单词翻译

英文单词	中文含义
percurrent	及顶的网络解释到顶的; 贯通的; 秘鲁寒流
percolated	v. 滤( percolate的过去式和过去分词 )；渗透；（思想等）渗透；渗入网络解释振作的; 渗出; 年青一代慢慢传开来
percuteur	叩诊器网络解释叩诊器
percipient	adj.目光敏锐的；有洞察力的 n.有感知力的人网络解释鉴赏力; 洞察的; 感觉的
percuss	v.轻敲；叩诊网络解释叩诊; 敲; 敲打
percolater	渗滤器网络解释滴滤壶
percussion	n. 敲打，碰撞；振动；〈音〉打击乐器；[医]扣诊法网络解释叩诊; 敲打; 冲击
percolates	vi.过滤；渗出；浸透 vt.使渗出；使过滤 n.滤过液；渗出液网络解释过滤; 渗透; 过滤出
percylite	n.[矿物]氯铜铅矿网络解释氯铜铅矿
percussion-wave	撞击波
perd
perdeuterated	全氘化的网络解释全氘化; 全氘化的
perdeuterioalkane	n.全氘烷
perdominant	n.常优种 adj.占主导地位的
peregal	平平加（脂肪醇聚氧乙烯醚）网络解释平平加; P平平加P; 平丽高
perdeuteriomethane	全氘甲烷网络解释全氘甲烷
perdontoclasia	[医] 牙周溃坏
peregrin	adj.外国的；移居的；流浪的 n.隼；外侨网络解释佩雷格兰; 皮平; 佩列格林
perdi
perdu	adj. 看不见的，隐藏的网络解释埋伏的; 迷离; 小男孩儿丢了