recursively

recursively-defined variable

[计] 递归定义变量

recursively-enumerable language

[计] 递归可枚举语言

recursively-enumerable set

[计] 递归可枚举集