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

  • 其他单词翻译

    英文单词 中文含义
    progressivism

    n.进步主义;革新论

    网络解释

    进步主义; 进步论; 渐进主义

    proh

    abbr. prohibited 禁止的;prohibition 禁止,禁令

    progreso

    普罗格雷索

    网络解释

    普罗格雷索; 普罗格利索; 普罗格勒索

    prohibi

    [医]禁止,组织

    prohibitive

    adj. 禁止的;禁止性的;抑制的;(指价格等)过高的

    网络解释

    禁止性的; 过高的; 令人望而却步的

    progressivist

    n.进步主义;革新论(progressivism的变形)

    网络解释

    进步人士

    prohance
    progress

    n. 进步;前进;[生物学]进化;(向更高方向)增长

    v. (使)进步,(使)进行;发展;促进

    vi. 发展;(向更高方向)增进

    prohibit

    vt. 禁止,阻止,防止;不准许

    网络解释

    不准; 防止; 不准许

    prohibitively

    adv. 禁止地

    网络解释

    禁止地; 价格高的离谱地; 担负不起地

    progressivistic

    adj.具有进步主义者特征的;进步主义的;支持进步主义的

    网络解释

    进步主义者

    prohaptor

    n.前吸器

    网络解释

    前吸器

    progresses

    n. 进步( progress的名词复数 );前进;[生物学]进化;(向更高方向)增长

    v. (使)进步, (使)进行( progress的第三人称单数 );改进;进展;(时间上)推移

    网络解释

    发展

    prohibite

    vt.禁止;妨碍

    prohibitiveness

    adj.禁止的;抑制的;(价格等)过高的

    progressivity

    n.累进税

    网络解释

    累进性; 累进税; 进展性

    progressing

    v. (使)进步, (使)进行( progress的现在分词 );改进;进展;(时间上)推移

    网络解释

    工作进行中; 升班; 前进

    prohaska

    n.普罗哈斯卡

    网络解释

    普罗哈斯卡

    prohibited

    v. 禁止,阻止( prohibit的过去式和过去分词 );不许

    网络解释

    严禁; 禁止的; 禁止使用

    prohibitor

    n.阻止者;禁止者

    网络解释

    禁止者; 阻止者; 抑制剂