摘要
本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并证明变换模式的正确性。
In this paper, we present an equivalent transformation to translate a kind of binary functions defined by nested—recursive programs into iterative ones by using an array. The correct-ness of this equivalent tranformation is also shown in this paper.
出处
《郑州大学学报（自然科学版）》
CAS
1991年第2期26-30,共5页
Journal of Zhengzhou University (Natural Science)
基金
河南省自然科学基金
关键词
程序变换
递归函数
迭代解
program transformation, recursive function, iterative solution
