的递归子集。设 "S" ⊆ Σ 是一个语言，"M" 是一台图灵机，若对于任何字符串 ω ∈ Σ，有则称 "M" 判定语言 "S"。若存在这样的 "M"，"S" 就称为图灵可判定语言。
闭包性质.递归语言是在下列运算下是闭合的。就是说，如果 "L" 和 "P" 是两个递归语言，则下列语言也是递归的:
图灵可判定语言与图灵可识别语言的关系.注意图灵可判定语言和图灵可识别语言的区别：若 "S" 是图灵可识别语言，则只需存在一台图灵机 "M"，当 "M