实验三用Flex和Bison构造扩充的PL0语言的编.PDFVIP

实验三 用 Flex 和 Bison 构造扩充的 PL/0 语言的编译器 软件 31 罗鹏魁 2003010655 一、实验目的及要求 实现满足以下EBNF描述的PL/0语言的编译器 二、主要设计 （一）词法分析脚本pl3.l 的设计 略：基本上沿用第二次实验的脚本。 （二）语法分析脚本pl3.y 的设计 语法分析脚本较上次实验有很大变动，因为加入属性文法之后，会凭空引入很多的冲突，大部分移 进-规约冲突可以利用 bison 的冲突默认处理机制解决（虽然这好像不被老师允许）。但是还有很多 冲突无法利用默认规则正确解决，主要集中在 if-then-else 和 while-do 上，其中 if-then-else 主要是 悬挂二义性的问题。实验二中我是用指定优先级的方法来消除 if-else 悬挂二义性的，但是跟属性文 法结合出现了一时没法解决的冲突。为解决这两个冲突，我从 bison 手册中得到了启发，把语句 statement 分成两大类：CloseStatement 和 OpenStatement，见下面的代码： OpenStatement是专为if-then设立的语句，它指的是所有不以else结尾的if语句，这种语句有 三类，一类是IF condition THEN statement（要避免无穷递归，这个statement必须是非if的 CloseStatement）；一类是IF condition THEN CloseStatement ELSE OpenStatement；最后一类 是WHILE condition DO OpenStatement，因为while语句是后向开放的，仍有可能以then语句结束。 OpenStatement的结尾最后是要由CloseStatement来定义的。 CloseStatement是排除掉OpenStatement之外的常规statement，除了read, write, call, complex, repeat, assignment语句之外，还包括以else子句结尾的if-then-else语句，和以else 字句结尾的while语句。 举例：对于可能产生悬挂二义性的语句“IF cond1 THEN IF cond2 THEN stmt1 ELSE stmt2” （stmt1和stmt2都是闭合的），应用的正确规则（略去属性文法）依次为： statement - IF cond THEN statement statement - Cstmt Cstmt - IF cond THEN Cstmt ELSE Cstmt 仔细跟踪可知整个过程没有任何冲突，并且其他的规则应用序列均不能正确分析。 （三）符号表和虚拟机设计 基本上按照老师提供的框架，完成了符号表的操作和虚拟机的操作。一些在 pl3.y 中频繁用到的功 能也写成函数放在 table.c 中供调用。 以下是一些代码片断： 其中 LODX 和 STOX 是存取数组元素的指令。 三、编译及测试 （一）PL/0 编译器的生成 成功根据脚本生成 lex.yy.c 和pl3.tab 源代码： 这是 pl3.output 文件输出情况： 工程在 Windows XP + Visual C++7.0 环境中成功编译连接，得到满足脚本描述的 PL/0 编译程序 pl3.exe （二）生成的PL/0 编译器的测试 可以看出，老师提供的所用代码均正确通过测试。