可判定性

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

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