递归程序的非递归化算法

• A non-recursive arithmetic of recursive program