递归函数的应用

递归函数独特的运算方式，使其在人工智能和各种事务处理过程中有着广泛的应用，因而成为一个重要的研究课题。文中以迷宫、汉诺塔等为例．根据计算机堆栈原理，具体讨论了用递归函数解题的方法和技巧。给出了递归函数调用时利用变量传递解决复杂问题的实例，展示了递归算法在解决非数值运算问题中的独特解题方式和效果。讨论表明，在求解人工智能和各种事务处理问题中．递归函数中合理地利用变量传递可有效地完成求解任务和提高程序的品质。     

机器发现的递归函数法

为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。     

递归函数生成的图形

递归思想由来已久,在程序设计中是一个重要的部分。本文讲一些图形的实现,它们是由一些局部图形构成的,局部具有类似于整体的形状。利用计算机程序的递归可以轻而易举地达到。在3DS中用IPAS程序生成的树木花草,来模拟自然植物,形态逼真,妙趣天     

递归函数的快速计算

本文以赛马矩阵为例，给出一种递归函数的快速计算方法，其要点是一个数组记录已算出的函数值。     

C语言中的递归函数

一、递归函数的特点 函数定义中直接或间接地调用了本函数,必定存在可使递归调用终止的条件,否则导致出现无限递归。函数定义中所具有的这些特点是判断函数是否为递归函数的基本要素。     

程序设计中递归函数教学问题探究

递归问题是程序设计语言教学中的一个重点、难点内容,针对递归教学的教学特点,阐述递归函数的精髓和教学方法,提出将理论和实践结合起来,通过剖析学生在学习递归函数时产生的错误和误区,应用实例和类比策略帮助学生解决递归函数学习中存在的问题,取得了事半功倍的教学效果。     

一类递归函数的多态类型

以上下文无关语言上的递归函数为基础的语言LFC(1anguage for context free recursive function)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specification acquisition system)中实现,为其最初设计的类型系统不支持多态类型.引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统.对多态类型系统实现中的一些问题也进行了讨论.在实现多态之后,LFC     

递归函数的π可定义性及其实现研究

并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型，是一种重要的移动进程演算，其中的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比，π演算有着更为良好的代数性质和表达能力．正如λ演算能够描述所有的可计算函数，π演算也有同样的能力．本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率．     

一种新型递归函数的求值算法

上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和语法分析的结合方式之后,对主要算法按照算法适用范围从小到大的顺序(同时也是算法研究和提出的顺序)做了较为全面的介绍,着重介绍一种通用的新的高效求值算法,即面向树的求值算法.同时对把CFRF扩充为多种类递归函数后的求值方法进行了说明.CFRF的几个求值算法均已在机器上实现,得到了实践的检验.     

多层递阶方法理论与应用的进展

多层递阶方法把非线性模型化成与之输入输出等价的多层线性模型,并强调其模型参数的时变性,所以在解决预报问题方面取得了较好的效果。对这一方法的理论与应用研究的进展情况进行介绍。     

递归算法在制造业产品结构表中的应用

本文介绍了微机环境下利用递归算法实现产品结构表的建立,修改及维护的设计思想和实现过程。     

递归算法在树型视图中的应用

论述了递归算法的特征，并运用递归算法将后端数据库中的数据检索出来放入一个树型控件中，创建一个树型目录，在客户端用户可以操作该树型目录，以完成进一步的数据库导航功能。     

Partial and Nested Recursive Function Definitions in Higher-order Logic

Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for reasoning about them. Termination is modeled by an inductive domain predicate which follows the structure of the recursion. Since a partial induction rule is available immediately, partial correctness properties can be proved before termination is established. It turns out that this modularity also facilitates termination arguments for total functions, in particular for nested recursions. Our tool is implemented as a definitional package extending Isabelle/HOL. Various extensions provide convenience to the user: pattern matching, default values, tail recursion, mutual recursion and currying.     

递归思想在指派问题中的运用

提出将矩阵进一步缩小的方法来求指派问题的解,用匈牙利解法求指派问题的解,然后用递归思想求解指派问题,并对两种方法的优缺点进行比较.通过对比可以知道,两种方法所得的结果是一样的.匈牙利算法的优点是算法时问复杂度较小,缺点是解题过程比较复杂.递归思想的优点是解题过程比较简单,缺点是算法时间复杂度较大.     

Optimiizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls

This paper presents some recent results in interpreter optimization. The techniques of shallow binding and repetitive interpretation of tail recursive functions are adapted to Lisp with static scoping as the binding method for-all identifiers. Then a new technique of interpreting" covered tail recursive" functions is proposed. The purpose of the paper is to show that the extra expense for static scoping can be kept small by combining these techniques.     

基于递归法在C语言项目实践中的探索和应用

在用C语言进行项目实践的时候经常会遇到算法的设计问题,算法设计的好坏以及效率的高低直接影响和决定着项目实践的成败,因此,算法设计是解决问题的核心和关键。在诸多算法当中,递归是一种比较另类和难于理解的算法,但由于它的强大功能,在进行项目实践和应用程序开发时常常采用递归算法来解决问题。尝试通过详述几个典型项目的求解过程,探索递归算法的使用方法和技巧,提高使用C语言程序设计解决实际问题的能力。