编译原理实验报告5详解.doc

编译原理实验报告五 年 月 日 姓名 学号 姓名 学号 系年级 2012级 专业 计算机 科目 编译原理 题目 验证Yacc的使用 实验目的 熟悉语法分析器生成工具Yacc的使用，并学会在cygwin下使用bison工具编译Yacc文法说明文件。学习如何使用lex和yacc合作进行语法分析。 实验内容 根据给出的calculator例子 （calculator0,calculator1,calculator2,calculator3）完成下面题目：用lex和yacc写一个计算布尔表达式真值的计算器。 实验要求 输入为一个布尔表达式，以换行结束。输出为这个布尔表达式的真值（true或false）。尝试二义文法和非二义文法两种不同的实现方式。布尔表达式二义文法为：S – S or S | S and S | not S | (S) | true | false，其中优先级or and not，or 和 and 左结合，not 右结合。非二义文法请参照表达式非二义文法自己写出来。 cygwin下用flex，bison和gcc工具将实验调试通过，并写出测试例测试正确性。 实验参考： calculator0-3这四个例子。请认真阅读例子，发现错误及时提出。 代码编写或修改 实验结果 非二义： 二义（版本1，未去掉对于运算结合性的定义）： 以上的内容按照我们的计算顺序都是对的，一开始无法相通为什么二义与非二义的结果相同，后来明白了，于是有了下面的一个版本的结果。 二义（版本2，去掉了运算结合性的定义） 这两项本来应该的结果与其相反，说明了二义文法如果不进行运算符优先性、结合性的定义，则会造成预料不到的结果。 实验心得 要深刻理解二义与非二义文法的内涵与区别，才能更好地完成这个实验； 由于对yacc了解的不够好，导致用了一段时间才能看懂给的例子以及各部分的写法，这就告诉我们，不能够忽视老师对于这些工具的用法的讲解，每一部分都要学的认真仔细； 一开始是写的非二义的文法，然后做出来后直接修改成二义的，没有去掉对于运算结合性的定义，导致了两者运行结果不管怎么尝试都没有差别，后来才考虑到这是因为我们定义了优先级与结合性，所以结果是一样的，于是特意为了尝试如果没有这些定义会如何，产生了二义版本2。 附：实验代码 .l文件： 二义：.y文件（版本2） 二义版本1的区别在于： 非二义：.y文件 Makefile文件：