decidability
n. [数] 可判定性
例句
The concept of algorithm is also used to define the notion of decidability.
算法的概念,也用来界定概念的决定性。
The decidability of the model is proven and a decidability algorithm is presented.
证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法。
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑,它是区间时序逻辑的一种实时扩充。