编译原理实验报告5

编译原理实验报告五 年 月 日

姓名 学号 姓名 学号

系年级 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）

本文来源：https://www.bwwdw.com/article/endg.html