中文:
右递归定义
英文翻译:
【计】
right-recursive definition
中文:域递归定义英文翻译:【计】recursive definition of domain...
中文:右递归文法英文翻译:【计】right-recursive grammar...
中文:右递归英文翻译:【计】right recursion...
中文:右递归规则英文翻译:【计】right-recursive rule...
中文:原始递归谓词英文翻译:【计】primitive recursive predicate...