高阶递归抽象：使 Ackermann、Knuth 与 Conway 看似一组原始递归函数（比喻说）
计算机科学中的逻辑
2016-02-17 v1 编程语言
摘要
阿克曼函数（Ackermann function）是定义在自然数上的著名全递归二元函数。它是经典递归理论意义上非原始递归的此类函数的典型例子。然而，看似矛盾的是，存在全递归的广义概念，对于其阿克曼函数实际上是原始递归的，并常作为该泛化所获得额外能力的见证。在此，我们研究在函数式程序变换框架下，通过递归抽象来寻找和分析复杂递归函数（即也包括克努斯（Knuth）和康威（Conway）箭头记号）的原始形式的技术。
引用
@article{arxiv.1602.05010,
title = {Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking},
author = {Baltasar Trancón y Widemann},
journal= {arXiv preprint arXiv:1602.05010},
year = {2016}
}