递归可枚举语言 在数学逻辑和计算机科学中递归可枚举语言是也叫做部分可判定语言或图灵可识别语言的形式语言类型它在形式语言的乔姆斯基层级中叫做类型语言所有递归可枚举语言的类叫做RE