在数学、逻辑和计算机科学中，递归语言或递归语言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 R。这种语言类型在乔姆斯基层级中没有定义。

递归语言有两种等价的主要定义:

递归语言是在形式语言的字母表上的所有可能的字的集合的递归子集。

设 S ⊆ Σ 是一个语言，M 是一台图灵机， 若对于任何字符串 ω ∈ Σ，有

1. ω ∈ S 当且仅当 M 接受 ω
2. ω ∉ S 当且仅当 M 拒绝 ω

则称 M 判定语言 S。 若存在这样的 M，S 就称为图灵可判定语言。

In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive if it is a recursive subset of the set of all possible finite sequences over the alphabet of the language. Equivalently, a formal language is recursive if there exists a total Turing machine (a Turing machine that halts for every given input) that, when given a finite sequence of symbols as input, accepts it if belongs to the language and rejects it otherwise. Recursive languages are also called decidable.