一种直观的递归模拟方法

介绍了一种直观的递归模拟方法，依据一系列的转换规则，结合三个递归程序转换成非递归程序的实例对该方法进行了探讨。     

递归程序探讨

递归程序是高等院校众多计算机教材中非常重要的教学内容 ,笔者通过数年的教学实践 ,对递归程序的算法本质、适用的应用领域及其向非递归程序的转化进行了较深入的探讨 ,希望大家对递归程序有个更深刻的认识     

关于递归调用方法的探讨

递归是软件设计的一种重要方法和技术.从递归调用机制出发,深入讨论递归调用的内部实现原理、递归程序的阅读、递归程序的验证与编写及递归方法存在的问题等内容.     

Pro图与Prolog尾递归删除技术

介绍Pro图的基本概念和生成规则、各节点和节点参量间的关系及Pro图的激活过程.按着递归程序Pro图的生成过程不同,分析了三类递归程序的特点,并根据这些特点分别叙述了各类程序实现尾递归删除的基本技术.     

动态图消除程序递归方法研究

寻求更好的消除递归方法一直是程序变换所面临的问题。本文从动态图出发,探讨了如何利用动态图消除程序递归的新途径     

递归法教学技巧探讨与实践

对初学者而言,递归算法的确很难理解.主要表现在程序的执行过程难理解,还有运用递归法解题难构思.在多年教学实践中,笔者总结递归解题的思想,结合各种图表及递归调用时系统利用堆栈后进先出的特点进行保护现场、恢复现场的细节清晰地描述来介绍递归程序的递推、回归的执行路线及执行过程中参数传递,最后介绍利用递归法解题的应用.     

求行列式的递归程序设计分析

递归是程序设计中求解问题的一种很有效的方法,本文根据行列式按行展开定理,用C＋＋语言进行递归程序设计,利用代数余子式的递归调用,求行列式的值。并通过求行列式的递归程序设计实例,分析递归程序的时间和空间复杂度,验证递归程序的布零性     

浅谈递归程序的分析方法

通过实例介绍嵌套分析法、“回推”和“递推”分析法两种分析递归程序的方法,旨在对递归程序的执行过程有较深刻的理解。     

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。     

二阶整数递归序列的若干性质

利用一类求导互反关系的“正四面体程序”的方法,得到了二阶整数递归序列的若干恒等式和同余性质,推广了若干文献的结果,特别是文献「５」的结论。     

程序设计中的递归算法

迭代循环和递归调用是程序设计中常用的方法，递归调用是一种比迭代循环功能更强的循环结构。递归程度具有一般的模式，可以用归纳法证明递归程序的正确性。     

递归的入栈出栈

通过一个实例详细分析了递归的原理，以便在程序开发中更好地使用递归方法。     

递归在程序设计中的应用

本文程序代码用C语言描述。递归是计算机科学的一个重要概念,也是一项非常重要的编程技巧,递归的方法是程序设计中有效的方法,采用递归编写程序能是程序变得简洁和清晰.本文从概念出发,结合实例对递归进行阐述。     

函数递归调用问题的简化读程方法

函数的递归调用是面向过程的程序设计中一个难点问题。由于递归算法的实现过程是一张错综复杂的“网”,常常使读程序者理不清头绪。本文采用了全新的思维模式,以“树”的方式代替了原来的“网”,从而使这一问题的解决变得简单化。     

递归算法的研究及经典算法的递归实现

递归思想是计算机科学的一个重要思想,递归方法是程序设计中的有效方法,它为程序设计者打开了一个全新的程序设计思路。采用递归思想编程,可以将一些貌似复杂的问题简单化,编写的程序更加简洁明了。本文深入分析了递归思想的特点,递归算法的优点和缺点,通过对多个经典算法的递归实现,让读者掌握递归算法程序设计的一些方法和技巧,有助于提高程序初学者的编程水平。     

二叉树排序非递归算法推导及形式化证明

非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义.     

递归算法在C/C＋＋程序设计中的描述与实现

递归是函数实现的一个很重要的环节，对许多复杂的问题，递归能提供简单、自然的解法。本文在对递归的概念进行介绍的基础上，重点讨论了递归的程序设计方法，并分析了递归函数的调用和回溯过程。     

递归程序变换的一种新模式一CZ变换

本文讨论?递归程序模式 f(x)≡IF b(x)THEN h/(x)ELSE F(g(x),f(k(x))的等价变换问题。首次提出CZ变换,它跟熟知的Cooper变换和反演变换一起可将相当多的此类模式转化为等价的尾递归模式,通过6个实例说明这三种变换各自的特点。     

递归与栈

递归是程序设计中一个十分有用的方法，它使某些看起来不易解决的问题变得容易解决，写出程序较简短，但用通常的函数调用的方法去理想递归，则不易掌握，本文利用栈分析递归，只有了解递归调用的原理才更容易掌握这种方法。     

命令式语言的精确约束时间分析

构造程序语言的部分计值器时最重要的一步是约束时间分析。当已知程度的部分输入时,约束时间分析阶段是区分程序中哪华计算可在部分计值时完成,哪些计算须在运行时完成,然而对实际应用程序,已存在的部分计值器并没有较好对程序进行优化得到执行效率高的剩余程序,其主要原因是对程序没有精确提取约束时间分析信息。该文作者应用与前人不同的方法,将约束时间分析分为3个阶段：约束时间、递归调用分析、相关性分析,通过各阶段分析以提取更精确的约束时间分析信息,从而得到高效率的剩余程序。此外,该文提供了相应程序变换规则,分析各个程序的子结构模块,在例化时完成相应计算并生成剩余程序。