在数学、逻辑和计算机科学中，递归语言或递回语言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 R。这种语言类型在乔姆斯基层级中没有定义。
定义.递归语言有两种等价的主要定义:递归语言是在形式语言的字母表上的所有可能的字的集合的递归子集。设 "S" ⊆ Σ 是一个语言，"M" 是一台图灵机，若对于任何字符串 ω ∈ Σ，有则称 "M" 判定语言 "S"。若存在这样的 "M"，"S" 就称为图灵可判定语言。
闭包性质.