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

其他单词翻译

英文单词	中文含义
vboxguestadditions	网络解释安装增强功能包；安装客端额外功能；安装完客端额外功能
vb12	网络解释维生素B12；血浆维生素B12；血清维生素B12测定
vcfencoding	网络解释文件编码转换器
vb2	网络解释维生素B2(Vitamin B-2)；场消隐2；二硼化钒陶瓷靶材
vcom	虚拟串口网络解释唯康；微控；虚拟串口
vb6	网络解释维生素B6(Vitamin B-6)；六点前素食
vbscriptdll	网络解释回车
vcreflect	网络解释视频反射
vcool	网络解释刷新率锁定
vbag	网络解释模拟器
vd3	网络解释维生素D3(Vitamin D-3)；骨化三醇；三稳压管
vcpd	网络解释岛警局
vcake	网络解释蛋糕；优惠；尚诺
vda	=Video Distribution Amplifier 视频分布放大器网络解释德国汽车工业协会(Verband der Automobilindustrie)；德国汽车工业联合会；虚拟桌面存取(Virtual Desktop Access)
vcam	网络解释血管细胞黏附分子(vascular cell adhesion molecule)；血管细胞粘附分子；虚拟摄像头
vcredist	网络解释再发行组件
vday	n.(第二次世界大战的)胜利日网络解释唯典；小夏；友情慰问
vbf	网络解释蚯蚓生物滤池(vermibiofilter)；Vital Business Function；蚯蚓生态滤池
vcard	n.电子商务卡片；主要用于记录通讯薄中联系人各方面的信息；可在不同设备之间进行数据交换网络解释名片；电子名片；电子名片交换格式
vcredist_x64