recursively-defined variable
[计] 递归定义变量
recursively-enumerable language
[计] 递归可枚举语言
recursively-enumerable set
[计] 递归可枚举集