遞歸函數論與程序設計的關係

遞歸函數論與程序設計的關係 （劉愛貴 高能物理研究所計算中心 北京 2003年） 摘要 ： 遞歸函數論是元計算機科學理論基礎，它與計算機科學的實踐緊密相關。遞歸思想影響了程序設計語言的構造，甚至影響了計算機系統結構。本文根據遞歸函數類的構造過程來論證遞歸與程序設計語言基層控制機制的關係，以及遞歸思想對計算機科學其他一些方面的影響。 關鍵詞 ： 遞歸定義 複合 原始遞歸 極小化 結構化程序設計 遞歸

>>阅读原文<<