递归可枚举语言的英文翻译

英文翻译：【计】 recursively-enumerable language