形式推导支持的递归程序向非递归程序的转换

摘要：

本文提出一种递归消除的方法,适于一类基于递归数据结构的程序.该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法.树和图的两个算法实例说明了本方法的有效性.

关键词：算法推导、形式方法、递归程序变换、PAR方法

所属期刊栏目：29

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2003CCA02800;国家自然科学基金60273092;江西省教育厅科研项目2005-90

在线出版日期：2007-12-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：145-147,封3