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

  • 其他单词翻译

    英文单词 中文含义
    triplane

    n. (早期的)三翼飞机

    网络解释

    三翼机; 三翼飞机; 兵卫

    triphibious

    adj. 使用陆海空三军的

    网络解释

    用陆海空三军

    triphal

    n.特里法耳;2-金硫基苯咪唑-4-羧酸钠

    triphenylethylene

    n.三苯乙烯

    网络解释

    三苯溴乙烯; 乙烷基烯类

    triplasy

    n.三分式

    网络解释

    三分式

    triphosphate

    n. 三磷酸盐

    网络解释

    三磷酸化; 三磷酸化合物; 三偏磷酸盐

    triphyodont

    二换性齿

    triphenylhydrazine

    n.三苯肼

    网络解释

    三苯

    triphasic

    [医] 三相的(肌动电流)

    网络解释

    血浆清除是三相式的; 三相精华液; 胃壁浸润

    triple

    adj. 三倍的,三方的,三部分的

    vt.& vi. (使)增至三倍

    n. 三倍的数[量];三个一组;[棒]三垒安打

    网络解释

    三人房; 三重的; 三人间

    tripinnate

    adj. 三回羽状的

    网络解释

    三叶行进

    triphthalmus

    n.三眼畸胎

    网络解释

    三眼畸胎

    triphenylmethane

    n. 三苯甲烷

    网络解释

    三苯基甲烷; 三苯代甲烷; 三苯甲基烷

    triple-crown

    n.三重冠

    网络解释

    三冠王; 三重冠; 三连冠

    tripinnated

    adj.[植]三回羽状的

    网络解释

    三回羽状

    triphthemia

    血内废物潴留

    triple-decker

    n.三层式立体交叉;三层结构;三层三明治

    网络解释

    三层的; 三层夹心; 三层楼

    tripinnately

    adv.三回羽状地

    triple-digit

    三位数的

    网络解释

    三连星

    triple-double

    n.(篮球比赛中)在三个统计类别中累计10分或以上的球员

    网络解释

    三双; 大三元; 大三元也叫三双