多值递归函数

本文研究了多值递归函数、多值递归函数与单值递归函数的关系以及多值递归函数的分类等问题.不确定的自动机所表示的函数,实际上就是一种多值递归函数,随着并行结构的电子计算机的出现和计算机网络的建立,并行计算也成了急需解决的问题.多值递归函数则在一定程度上刻画了并行可计算性和自动机的不确定性问题.本文提出多值递归函数的概念并进行了一定的研究,有些研究则是个开始.本文所假定的单值递归函数的一些结果可见文献[3]、[4] [5]、[6]、[7].     

关于Grzegorczyk第九问题

本文通过引进二重递归函数类的一种分层{Y_n}_(n∈∞),证明了借助于本原函数(后继函数、零函数和投影函数)以及原始递归和复合运算,如果仅增加有限多个二重递归函数作为开始函数,则不足以产生全体二重递归函数。     

程序设计中递归思想教学方法探讨

递归思想是程序设计中一种非常重要、有效的思想。许多有趣的算法可以用几行简单的递归函数来表达。然而学生在学习递归函数由于对其执行过程不了解,对递归思想似懂非懂,难以设计正确的递归函数。本文介绍自己在教授此内容时的几点经验,希望与同行共同探讨.     

递归函数的非递归模拟

讨论递归的内部实现原理，就递归函数如何转换为非递归函数，给出一组转换规则。利用该组规则将图的深度优先搜索(DFS)和n阶勒让德多项式的递归算法转换成了等价的非递归算法。     

一般递归函数定义中极小化次数问题的研究

研究了定义递归函数过程中极小化运算的次数问题，证实了任意一个递归函数可以从初始子数出发，经有限次复合，递归和至多一次极小化运算而得到。这一结论对计算复杂性理论有明显的意义。     

一类递归函数的符号计算

针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题，给出了一类递归函数的符号计算方法。该方法把递归函数和图灵机结合起来，通过符号处理可以用接受自变量的图灵机来模拟后继函数的计算过程，对计算机病毒程序及自复制／自传播的研究具有一定的参考价值。     

λ－可定义函数的构造性解

λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一个λ－可定义的函数是λ－项所组成的集合中的一...     

λ定义可计算函数时不动点算子的不必要性

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.     

关于Mu算子的一个递归不可解问题

本文证明了:不存在一个部分递归函数,使得这里是速归可枚举集而     

递归函数浅析

介绍了递归函数和函数的递归调用概念，分析了汉诺塔问题函数的递归调用过程，并对递归和迭代进行了简要的比较     

基于有限递归和μ-算子的α-递归论

根据Ｂｌｕｍ，Ｓｈｕｂ和Ｓｍａｌｅ定义实数环上的计算模型中将递归和μ－算子限制在自然数上这一特点，提出了基于自然数上的递归定义和μ－算子。研究了在可允许序数α－上定义的可计算函数－弱α－递归函数的弱α－递归论的基本性质及其与α－递归论的差别，证明了每个弱α－递归函数是以自然数为参量关于取值α上的变量的多项式函数，并且每个弱α－递归可枚举集与自然数集的交集是递归可枚举的。     

基于文件检索的随书光盘网络管理系统

针对目前随书光盘网络管理系统的不足，设计开发了能够对光盘文件进行检索的管理系统，简介系统的体系结构和功能模块，以及如何用递归函数实现对光盘文件的检索。     

有向图上的动态规划

在集合论的基础上将离散的动态规划形式化,用递归函数刻划了动态规划的目标函数,并在有向图上建立了动态规划,推广了动态规划方法的应用范围。     

递归程序的转换技术

提出了一种实用的递归程序转换技术,它可以方便地把递归函数转换成与之等价的非递归形式,已在DPS8/49机上实现。     

递归函数在算法中的应用

在<数据结构>中经常涉及到算法的设计问题,在很多算法的设计中,如采用递归函数来实现,则可使算法清晰易读,算法的正确性也容易得到证明.     

迷宫问题的最短距离标记法递归求解

用标记每个搜索位置离起始位置最近距离的方法,通过递归函数求解,提出了一个对复杂迷宫的简明求解算法.求解结果给出了迷宫通道中所有各点离入口的最短距离、次短距离等有意义的批量信息.     

汉语句法分析中的论元关系模型研究

近年来,实体挖掘技术已经成为文本信息处理领域的研究热点,有广泛的应用前景,但目前实体挖掘技术通常缺少句法层面的分析,很难从语句中准确抽取关键性词汇,并且抽取实体的过程容易忽略主客体的动作关联.针对这一问题,建立一个适用于汉语句法分析的论元关系模型.使用多值递归函数识别句型结构并划分句法功能语块,根据句型结构抽取动作的施体和受体,建立论元关系模型.多值递归函数的分析窗口涵盖整个语句,函数递归地探索整个解空间,获取全局最优解.此外,层次分解机制可以识别处理嵌套句和歧义句,能够抽取出更有价值的句法成分,对长语句和复杂语句有更好的适应能力.     

多人Large Nim博弈的最优策略

研究包含任意多个竞争者的Large Nim博弈模型,它是传统的Large Nim由两个竞争者到多个竞争者的一般化.在标准联盟矩阵下,运用递归函数,针对竞争者人数与堆数的三大类关系,得到了相应的博弈值和获胜的最优策略.     

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

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

基于递归函数理论的任意曲线拟合方法的研究

提出了一种任意曲线拟合的新方法,该方法以递归函数理论为基础,应用原始递归式来表示函数,求解过程中以递归迭代的主要计算方法,避免了用传统最小二乘法所致的病态矩阵现象,且在拟合多项式时具有自动确定其次数的优点。