小词霸

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


    • 其他单词翻译

    英文单词 中文含义
    councils

    n. 委员会( council的名词复数 )；（郡、镇等）政务会；（尤指旧时讨论特定步骤的）协商会议；市政（或地方管理）服务机构

    网络解释

    议会；宗教会议；地方政府
    cossetted

    v. 宠爱，娇养，纵容( cosset的过去式 )

    网络解释

    受保护的
    courtiers

    n. 侍臣，廷臣( courtier的名词复数 )

    网络解释

    都是朝臣；臣子；打江山嗰班老臣子
    corroborators

    n. 确证者，确证物( corroborator的名词复数 )
    countdowns

    n. （发射宇宙飞船等的）倒数读秒，倒计时( countdown的名词复数 )；大事临近的时期

    网络解释

    倒数计秒；倒数计时
    couturiers

    n. 女裁缝师，女服设计师( couturier的名词复数 )
    cossetting

    v. 宠爱，娇养，纵容( cosset的现在分词 )
    corroborees

    n. （澳大利亚原住民的）歌舞会( corroboree的名词复数 )

    网络解释

    狂欢会；歌舞会；科罗澳拟蟾
    countermen

    n. 拿菜给顾客的服务员( counterman的名词复数 )

    网络解释

    业务员；小售货员；外勤
    costings

    n. 成本计算( costing的名词复数 )

    网络解释

    成本计算；成本核算；成本会计
    covens

    n. 女巫大聚会，十三女巫大集会( coven的名词复数 )

    网络解释

    女巫聚会；女巫大聚会；女巫集会
    coverlets

    n. 床罩( coverlet的名词复数 )

    网络解释

    被单；床罩；床单
    cowmen

    n. 牧牛人，牧牛工( cowman的名词复数 )

    网络解释

    牛仔；考门
    crackdowns

    n. 压迫，镇压，打击( crackdown的名词复数 )

    网络解释

    严打；地方当局对罂粟农的镇压
    crammers

    n. 填鸭式主义的教师，谎言( crammer的名词复数 )

    网络解释

    死记硬背的应试虫；补习学校
    crawfishes

    n. 小龙虾( crawfish的名词复数 )

    网络解释

    螯虾
    creamers

    n. 盛乳皮的盆，乳酪分离器，撇取乳酪的人或器具( creamer的名词复数 )

    网络解释

    奶精；可利美
    creatives

    n. 创造性的，有创造力的( creative的名词复数 )

    网络解释

    创意人员；创意讲师；创意顾问
    creeks

    n. <英>小湾( creek的名词复数 )；小港；<美>小河；小溪

    网络解释

    小溪；克里克人；小河流
    crescendi

    n.声音渐增；高潮；顶峰

    网络解释

    强曲