| 释义 |
decidable 英/ d??sa?d?b(?)l / 美/ d??sa?d?b?l / 1 ?可决定的 如果T为空集(即空项集合)，那么我们在SAT命题的情况下,Γ就认为是可决定的(Decidable) 2 [数]?可判定的 ...c function, aka indicatorfunction)：设AB ，则A关于B的特征函数FA: B → {0, 1} 定义如下： 对于任意b∈B 可判定的(decidable)：A关于B是可判定的，当且仅当A的特征函数是可计算的。 3 ?可解 ... 可判定子类 decidabe subclass 可解 decidable 可解语言 decidable language ...
- 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的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。
|