递归可枚举语言

递归可枚举语言，在数学、逻辑和计算机科学中，递归可枚举语言是也叫做部分可判定语言或图灵可识别语言的形式语言类型。它在形式语言的乔姆斯基层级中叫做类型-0语言。所有递归可枚举语言的类叫做RE。递归可枚举语言定义：设S⊆ Σ为一个语言，E是一个枚举器，若L（E） =S，则称E枚举了语言S。若存在这样 的E，S就称为递归可枚举语言。