递归程序的正确性证明

<正> 4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非常有用的。这种递归程序是以一种语言比如LISP为基础的,它主     

从汉诺塔问题再谈递归算法

递归(Recursion)是一种有效的算法设计方法。简单地说，递归就是自调用。递归算法就是指包含有调用算法本身语句的算法。这种算法的目的就是用一种普遍的统一的规律来解决步骤繁多的问题。也正因为如此，它是数据结构中一个”杀伤力”很大的算法，而且其他一些数据结构问题(比如树状结构和链表等)也离不开它。下面笔者就汉诺塔问题的C语言实现来探讨一下如何用数学归纳法思想解决一般递归算法。     

基于Flash的C语言函数算法实现

C语言是一种面向过程的语言,在C语言程序的教学中,函数的递归调用是一个难点,要突破这个难点,经常使用的方法是把多媒体课件引入课堂,把函数递归调用用F1ash技术设计出了动态演示效果,实现把复杂问题形象化的动画教学,激发学生的学习兴趣。     

C语言递归生成二叉树探讨

递归生成二叉链表存储结构是一种常见的生成二叉树的方法,本文比较和分析了用C语言实现的几种递归生成算法,并指出了一种常见的错误算法。同时给出了两种递归遍历的C语言实现方法。     

通信协议翻译程序的软件自动生成

阐述了指挥自动化通信协议翻译软件的软件自动生成原理和实现方法，这是软件自动化在指挥自动化中的一个典型应用。该应用中采用了软件自动化的过程实现方法，定义了一种扩展标记语言，通过对扩展标记语言的语法分析，最后生成了跨平台跨语言的一组协议翻译程序，满足了指挥自动化系统中通信子系统对多协议翻译的要求，并且高效，高质量，易修改和易维护。     

状态逻辑型程序设计语言

本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．     

PDMQL:一个数据挖掘的原型系统

研究并开发了一个原型系统PDMQL,实现了一种数据挖掘查询语言的原型,以该语言的语法分析为核心,把3类主要挖掘功能紧密联系起来,并实现了结果数据集到XML文档的转换.     

一种二叉树非递归遍历算法的C语言实现

针对二叉树的链式存储结构,分析了二叉树的各种遍历算法,探讨了递归算法的递推消除问题,提出了一种改进的非递归遍历算法并用C语言予以实现。     

PL／0语言编译机制实现研究

为了帮助加深对计算机语言编译技术的理解和应用，引述了PL／0语言的文法体系，简要介绍了PL／0语言编译程序的基本构成部分及其大体功能。通过跟踪PL／0语言编译程序对一段示例程序进行处理的内部过程，对构成语言编译技术的主要组成部分即词法分析、语法分析、中间代码生成、存储器分配、表格管理、错误处理等过程进行了重点分析，详细叙述了其工作原理与实现机制以及相互之间的关系。     

FORTRAN语言递归调用的一种方法

为了能在IBM PC的FORTRAN语言中实现递归算法,本文详细分析了在IBM PC上,FORTRAN语言调用子程序的全过程,并在此基础上提出了一种用FORTRAN语言作递归调用的方法。附录中给出了有关的实例。     

第四代语言HLL—Ⅱ编译程序的构造

ＨＬＬ－Ⅱ语言是我们设计的一个面向商务处理的第四代语言。本文简要介绍了ＨＬＬ－Ⅱ的功能和程序结构，着重讨论了ＨＬＬ－Ⅱ编译程序的结构及其语法分析与语义分析技术。     

一种求解树深度的非递归算法

树是计算机科学中经常用到的一种典型的非线性数据结构。本文介绍一种求解其深度（高度）的非递归算法，同递归算法比较，既易于理解，又解决了某些高级语言因无递归机制而带来的实现上困难。     

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

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

Petri网语言与传统形式语言的关系

本文介绍了一种形式语言－Ｐｅｔｒｉ网语言，并讨论了Ｐｅｔｒｉ网语言与传统形式语言（正规语言，上下文无关语言，上下文有关语言以及递归枚举语言）的关系。     

基于递归的方法在形式文法教学中的作用

形式化文法是编译理论及程序语言理论重要的研究内容之一,同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论,自动及非自动构造各种编译器的重要基础。通过递归,各种类型复杂度的程序语言都可以用文法简洁地进行描述。递归既是一种静态的结构,同时也是一种动态的计算方法。提出基于递归的形式化文法分析方法,重点包括基于递归的语言定义及基于递归的文法语言计算。     

四柱汉诺塔非递归研究与实现

对"经典三柱汉诺塔"的递归求解算法及其他非递归算法问题进行了详细的分析和研究,给出了一种新的简单且高效的非递归算法。在"经典三柱汉诺塔"的非递归算法研究基础上对"四柱汉诺塔"问题的四柱汉诺塔Frame算法进行了深入的研究,实现了一种高效的四柱汉诺塔非递归算法,并用C#语言进行了验证。通过该问题的C#实现,可使学习者清晰地观测到解决四柱汉诺塔非递归算法的全过程。     

鞍钢能源管理操作语言的状态分析方法

本文利用扩充转换网络进行语法分析.这是中文语义理解和人机语言接口的一个组成部分.中文语言的语法分析是个交互过程,构成一个能源管理环境下的问-答系统.语法分析程序采用一次扫描,通过调用词法分析器并根据现行状态和当前单词词性查找状态转换矩阵,从而决定状态变迁、转向判定以及按照相应的语义解释程度逐步完成语法分析的各项任务.系统利用BASIC语言编写,已在TJ990/12小型计算机上实现,它的字典包括了能源管理操作语言的大部分单词,对简单陈述句、疑问句和祈使句进行了测试并取得了满意的结果.     

利用视图技术实现非递归规则的表示与推理

介绍利用视图技术实现非递归规则的表示和推理，并将该思想应用到开发的一个演绎数据库中去。     

为Turbo C增添一个音乐函数play（）

Turboc是目前国内外在微机上运行的最为流行的C语言版本。但是，TurboC的音乐功能和其他高级语言如TurboBasic等相比逊色得多，这不能不说是一种缺憾。有没有一种简单通用的方法可以很快增强TurboC的音乐功能呢？笔者就此问题进行了一番探索，找到了一个弥补这一不足的简单方法：利用TurboBasic的play语句为TurboC编制一个音乐函数play（）。实现方法为了使TurboC具有音乐功能，人们一般都根据计算机演奏音乐的原理用TurboC的sound（）、nosound（）及delay（）函数，用编程的手段编制一个音乐函数来实现。这种方法对一般用户来说显…     

PL/O语言编译机制实现研究

为了帮助加深对计算机语言编译技术的理解和应用,引述了PL/0语言的文法体系,简要介绍了PL0语言编译程序的基本构成部分及其大体功能.通过跟踪PL/0语言编译程序对一段示例程序进行处理的内部过程,对构成语言编译技术的主要组成部分即词法分析、语法分析、中间代码生成、存储器分配、表格管理、错误处理等过程进行了重点分析,详细叙述了其工作原理与实现机制以及相互之间的关系.