...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.
您可以彻底检查任何字符串是否符合任何可确定的规则集。
Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
应用推荐