• 其他词汇： 递归函数 递回下降剖析器 递归下降剖析器 再度

• 更多词汇： 递归变迁网络 递归转移网络 自反关系 递归函数

• 其他词汇： 方向系统 归纳断言 归纳逻辑程序设计 递归谓词

• 更多词汇： 归纳极限 归纳限 归纳维数 归纳逻辑程序设计