Kleene's algorithm

斯蒂芬·科尔·克莱尼（英語：Stephen Cole Kleene，1909年1月5日—1994年1月25日）是一名美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉

算法（英語：algorithm），在数学（算学）和计算机科学之中，指一个被定义好的、计算机可施行其指示的有限步骤或次序，常用于计算、数据处理和自动推理。算法可以使用条件语句通过各种途径转移代码执行（称为自动决策），并推导出有效的推论（称为自动推理），最终实现自动化。

(1) <= 1 fib (n+2) <= fib (n+1) + fib (n) Darlington got this idea from Kleene’s recursion equations.  Turner, D. A. Some History of Functional Programming

眾定理中用到的單一迴圈基本上可以提供冯·诺伊曼式電腦執行流程的操作語義。。另一篇更早期的論文則是斯蒂芬·科尔·克莱尼1936年的正规形式定理（Kleene's T predicate）論文。 高德纳批評這種轉換後的結果類似以下的伪代码，重點是在此轉換中完全破壞了原程式的結構。Bruce Ian

(Church 1941) but had not studied it. The theoretical model behind LISP was Kleene’s theory of first order recursive functions. (McCarthy made these statements