可判定性

可判定性：一个语言 $L$ ，是一个集合，且其补集为 $\bar{L}$ 。当 $L$ 是图灵机可识别时，语言 $L$ 则称为半可判定。当语言 $L$ 不是图灵机可识别，则为不可判定语言。当且仅当 $L$ 和 $\bar{L}$ 都是图灵机可识别的时候，L才能称为可判定语言。

这是一个与数学相关的小作品，您可以帮助维库扩充其内容。

个人工具