在数学、逻辑和计算机科学中，递归可枚举语言是也叫做部分可判定语言或图灵可识别语言的形式语言类型。它在形式语言的乔姆斯基层级中叫做类型-0语言。所有递归可枚举语言的类叫做RE。
形式定义.递归可枚举语言定义：设"S" ⊆ Σ为一个语言，"E"是一个枚举器，若"L"（"E"） = "S"，则称"E" 枚举了语言"S"。若存在这样的"E"，"S"就称为递归可枚举语言。注意，枚举器"E"可以以任意的顺序枚举语言"L"（"E"），而且"L"（"E"） 中的某个串可能会被"E"多次重复