编译原理实验报告五年月日
姓名学号姓名学号
系年级 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）
二义版本1的区别在于：
非二义：.y文件
Makefile文件：。