...c function, aka indicatorfunction)：设AB ，则A关于B的特征函数FA: B → {0, 1} 定义如下： 对于任意b∈B 可判定的(decidable)：A关于B是可判定的，当且仅当A的特征函数是可计算的。
基于50个网页-相关网页
decidable proposition [计] 可决策命题
entscheidbar decidable 不可判定的
entscheidend decidable 不可判定的
semi-decidable [数] 半可判定的
decidable language 可解语言
recursively decidable 递归可判定
partially decidable problem 部分可解问题
decidable subclause 可判定子句
decidable subclass [计] 可判定子类
ADJ able to be decided 可以决定的
You can validate absolutely any string that conforms to any decidable set of rules.
您可以彻底检查任何字符串是否符合任何可确定的规则集。
The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.
受限制的条款规定，成为可判定，并而且能非常有效地实施。
Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。
应用推荐