好单词

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


    • 其他单词翻译

    英文单词 中文含义
    sooey

    int. 苏！（唤猪的喊声）

    网络解释

    苏
    sonorization

    浊音化

    网络解释

    浊音化
    soor

    [医] 鹅口疮

    网络解释

    索尔战役; 朔而; 海宪z
    soothe

    vt. 安慰；缓和；使平静；减轻痛苦

    网络解释

    缓和; 使平静; 安抚
    soogee

    vt. 冲洗（甲板等）
    sonorize

    vt.使浊音化
    soorpilz

    [医] 鹅口疮菌
    soothed

    v. 安慰( soothe的过去式和过去分词 )；抚慰；使舒服；减轻痛苦
    sook

    n. 〈澳新俚〉胆小鬼（尤指小孩）

    网络解释

    露天市场; 苏克; 愫
    sonorous

    adj. 圆润低沉的；响亮的；洪亮的；（尤指语言、文字等）感人的

    adv. 圆润低沉地；感人地，堂皇地

    n. 感人，堂皇

    网络解释

    洪亮的; 响亮的; 宏亮的
    soos

    网络解释

    Stacked Oscar On Scout; 索奥斯; 南大洋观测系统
    soother

    n. 抚慰者，橡皮奶头

    网络解释

    抚慰者; 安抚物; 橡皮奶头
    sooke

    n.苏克（加拿大地名）

    网络解释

    苏克; 苏克市; 苏克小镇
    sonorously

    adv.朗朗地；响亮地

    网络解释

    朗朗地; 堂堂地
    soot

    n. 煤烟，烟灰；油烟

    v. 煤烟弄脏；弄得尽是煤烟

    网络解释

    烟灰; 烟尘; 碳烟
    soothes

    v. 安慰( soothe的第三人称单数 )；抚慰；使舒服；减轻痛苦

    网络解释

    舒缓
    sool

    vt. 唆使，攻击

    网络解释

    苏尔; 苏尔州; 苏勒州
    sonovox

    n. 口声效果装置

    网络解释

    上声
    soot-black

    网络解释

    煤烟; 碳黑; 烟黑
    soothfast

    adj.真实的；说真话的