递归程序

作品数：84被引量：88H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蔡经球钱俊彦赵岭忠郭云川蔡国永更多>>
相关机构：厦门大学桂林电子科技大学江西师范大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金黑龙江省自然科学基金国家重点基础研究发展计划江西省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式推导支持的递归程序向非递归程序的转换被引量：5
《计算机工程与科学》2007年第10期145-147,F0003,共4页化志章 揭安全 李云清 薛锦云 
国家973计划资助项目(2003CCA02800);国家自然科学基金资助项目(60273092);江西省教育厅科技项目(2005-90)
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,...
关键词：算法推导 形式方法 递归程序变换 PAR方法 
Hanoi塔问题非递归算法的形式推导被引量：8
《计算机工程与科学》2003年第3期66-68,共3页宁爱兵 黄明和 
本文从Hanoi塔本身的简要说明出发,深刻剖析了该问题的递归解法,揭示了其本质特性,形式化地找出了圆盘的移动规律,从而推导出一种全新的、逻辑结构非常清晰的、与递归解在圆盘移动上完全等效的非递归算法,彻底解决了递归解中由于圆盘数...
关键词：递归程序设计 HANOI塔问题 非递归算法 堆栈技术 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部