共查询到20条相似文献,搜索用时 78 毫秒
1.
递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。 相似文献
2.
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。 相似文献
3.
4.
分析了递归程序的实现原理及在FoxBASE ̄+中实现递归调用的可能性,提出了递归程序工作栈的概念。利用这一概念,使FoxBASE ̄+的解释程序与应用程序协同工作,从而在FoxBASE ̄+中实现递归调用。 相似文献
5.
在程序设计中 ,为了处理重复性的计算 ,最常用的办法是采用递归计算。理论上讲 ,对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨 ,在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上 ,对递归程序计算规则进行了总结 相似文献
6.
蔡经球 《小型微型计算机系统》1989,10(11):32-36
一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。 相似文献
7.
在程序设计中,为了处理重复性的计算,最常用的办法是采用递归计算。理论上讲,对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨,在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上,对递归程序计算规则进行了总结。 相似文献
8.
本文用Pro图的方法讨论了递归Prolog程序的终止问题。其中包括Pro图的概念和Pro图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。 相似文献
9.
递归程序可以嵌套调用,因此在运行过程中其运行轨迹较复杂。本文将用数据结构中的树型结构来形象化描述递归程序运行轨迹,使递归程序的运行轨迹更加清晰明了和易于理解。 相似文献
10.
11.
本文提出了一种称为Pro图的图形方法,并用该图形方法进行了递归Prolog程序的正确性证明,文中包括Pro图的基本概念及生成规则,Pro图上各节点的的关系,Pro图的激活过程,并给出了着急递归程序正确性证明的公理和定理。 相似文献
12.
13.
递归是设计程序的一种重要方法,文中对递归的定义及递归的基本条件进行了分析,给出了递归程序设计的基本方法,并结合数据结构中二叉树遍历和单链表结点输出的实例进行了验证,最后对递归程序进行了深度分析,说明了递归是一种有效的程序设计方法。 相似文献
14.
本文阐述用Delphi7.0开发《c语言辅助教学软件》中递归程序的动态演示方法。用Timer构件以及递归程序的非递归转换技术是实现动态演示的主要技术。 相似文献
15.
16.
由递归算法直接转换成相应的非递归算法能有效地提高程序的执行效率。本文针对一个企业材料截断应用案例.通过数学建模、算法分析与实现,证明效果很好。 相似文献
17.
18.
19.
20.
构建复杂递归类问题的可重用程序模板主要是为了提高学习者分析和解决类似问题的能力.文章分析了构建可重用程序模板的理由及其设计思想,并且深入地研究了复杂递归类问题的非递归算法,实现了部分复杂递归类问题的可重用程序模板;在求解同类型问题时,只需向可重用程序模板输入问题的相应参数,就可获得该类问题的实例,并且通过此模板自动推理产生程序设计的全过程.文章实现了既有问题又有解答的无限题库,为生成无限题库提供了技术支持和理论依据. 相似文献