decidable

1 . 可决定的

...对于任一合法的字串都能经由演算法有限次的列举产生,这个列举演算法称为语言的产生规格.若一语言的所有字串经由产生句子之演算法有限个步骤处理后都能决定是否合法,则此语言称为可决定的(decidable).英文太含糊而且易导致定义不明确,不宜用英语正视地定义语言.

2 . 可判定的

可判定性decidable可判定的decimal addition 十进制加法

3 . 可解

可判定子类 decidabe subclass可解 decidable可解语言 decidablelanguage

4 . 可判定

For finite state model S, this is decidable.系统是否具有所要求的性质就转化为S是否满足φ,对有限状态系统这个问题是可判定的。