递归函数论与程序设计的关系

递归函数论与程序设计的关系 （刘爱贵 高能物理研究所计算中心 北京 2003年） 摘要 ： 递归函数论是元计算机科学理论基础，它与计算机科学的实践紧密相关。递归思想影响了程序设计语言的构造，甚至影响了计算机系统结构。本文根据递归函数类的构造过程来论证递归与程序设计语言基层控制机制的关系，以及递归思想对计算机科学其他一些方面的影响。 关键词 ： 递归定义 复合 原始递归 极小化 结构化程序设计 递归

>>阅读原文<<