一种二元双重递归函数的变换模式  

A Equivalcnt Transformation for a Kind of Binary Function Defined by Nested—recursive Programs

作　　者：范明[1] 李连友[1] 

机构地区：[1]郑州大学计算机科学系

出　　处：《郑州大学学报（自然科学版）》1991年第2期26-30,共5页Journal of Zhengzhou University (Natural Science)

基　　金：河南省自然科学基金

摘　　要：本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并证明变换模式的正确性。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.

关 键 词：程序变换 递归函数 迭代解 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]