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