recursively-enumerable language英式朗读美式朗读基本解释[计] 递归可枚举语言上一个单词：recursively-defined variable下一个单词：recursively-enumerable set