语言的可判定性.一个语言formula_1，是一个集合，且其补集为formula_2 。当formula_1是图灵机可识别时，语言formula_1则称为半可判定。当语言formula_1不是图灵机可识别，则为不可判定语言。当且仅当formula_1和formula_7都是图灵机可识别的时候，L才能称为可判定语言。
一般意义上的可判定性.指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所