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

  • 其他单词翻译

    英文单词 中文含义
    polyorganoelementosiloxane

    [化] 聚元素有机硅氧烷

    网络解释

    聚元素有机硅氧烷

    polyomavirus

    n.多瘤病毒

    网络解释

    多瘤病毒; 多瘤病毒属; 多瘤性病毒

    polyode

    n.多电极管

    polyovulation

    n.多次产卵

    polyorganometallosiloxane

    n.聚金属有机硅氧烷

    polyomino

    多联骨牌

    网络解释

    多联骨牌; 多格骨牌

    polyodontia

    多牙

    网络解释

    多牙

    polyoxybutylene

    n.聚氧化丁烯

    网络解释

    聚氧化丁烯

    polyovulatory

    排出多卵的

    网络解释

    排出多卵的

    polyonychia

    n.多甲

    polyorganosiloxane

    聚硅氧烷

    网络解释

    聚硅氧烷

    polyoicism

    雌雄杂株

    网络解释

    雌雄杂株

    polyoxamide

    聚乙二醇胺

    网络解释

    聚二乙酰胺

    polyonymosity

    n.一人多名;一物多名

    polyorganostannosiloxane

    聚有机锡硅氧烷

    网络解释

    聚有机锡硅氧烷

    polyoicous

    [植]雌雄杂株的

    网络解释

    雌雄杂株的

    polyoxyethylene

    n.聚氧化乙烯;聚乙二醇

    网络解释

    聚氧乙烯; 聚氧乙烯基; 聚环氧乙烷

    polyoxide

    多氧化物

    网络解释

    复晶矽上氧化膜

    polyoptimal

    综合最优化

    polyorganotitanosiloxane

    [化] 聚有机钛硅氧烷