编译原理实验报告五 年 月 日
姓名 学号 姓名 学号
系年级 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，去掉了运算结合性的定义）
这两项本来应该的结果与其相反，说明了二义文法如果不进行运算符优先性、结合性的定义，则会造成预料不到的结果。
? 实验心得
1. 要深刻理解二义与非二义文法的内涵与区别，才能更好地完成这个实验；
2. 由于对yacc了解的不够好，导致用了一段时间才能看懂给的例子以及各部
分的写法，这就告诉我们，不能够忽视老师对于这些工具的用法的讲解，每一部分都要学的认真仔细；
3. 一开始是写的非二义的文法，然后做出来后直接修改成二义的，没有去掉对
于运算结合性的定义，导致了两者运行结果不管怎么尝试都没有差别，后来才考虑到这是因为我们定义了优先级与结合性，所以结果是一样的，于是特意为了尝试如果没有这些定义会如何，产生了二义版本2。
? 附：实验代码 .l文件：
二义：.y文件（版本2）