...c function, aka indicatorfunction)：设AB ，则A关于B的特征函数FA: B → {0, 1} 定义如下： 对于任意b∈B 可判定的(decidable)：A关于B是可判定的，当且仅当A的特征函数是可计算的。
基于50个网页-相关网页
decidable proposition [计] 可决策命题
semi-decidable [数] 半可判定的
decidable language 可解语言
recursively decidable 递归可判定
partially decidable problem 部分可解问题
decidable subclause 可判定子句
decidable subclass [计] 可判定子类
Decidable Sets 可判定集合
decidable problem 可判定的问题
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.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
应用推荐