行业分类-外包设计-基于上下文定界的队列通信并发递归程序验证方法.zip

很好的实验要求 一、 实验目的 掌握算符优先分析法的原理，利用算符优先分析法将赋值语句进行语法分析，翻译成等价的四元式表示。 二、 实验内容 1. 算术表达式的文法：E→E+E|E-E|E*E|E/E|（E）|I ； 2. 根据算符优先分析法，将表达式进行语法分析，判断一个表达式是否正确； 3. 将赋值语句进行语法分析，翻译成等价的一组基本操作，每一基本操作用四元式表示； 三、 实验预习提示 1. 算符优先文法的定义； 2. 算符优先文法关系表的构造； 3. 算符优先分析算法的设计。 四、 实验步骤 1. 准备  阅读课本有关章节，确定算术表达式的文法，设计出算符优先关系表上机；  考虑好设计方案；  设计出模块结构、测试数据，初步编制好程序。 2. 上机调试，发现错误，分析错误，再修改完善。教师根据学生的设计方案与学生进行探讨，以修改方案和代码。

本论文讲叙了递归程序的正确证明，本文实际是程序设计方法学的平时论文，主要讲叙了递归程序证明的集中方法，并举例论证。