递归可枚举语言 【计】 recursively-enumerable language