编译原理实验指导实验语法分析v.pdf

实验二 语法分析 实验目的  1、 理解和掌握利用 Bison 进行语法分析的过程  2、 理解和掌握 Flex 和 Bison 联合编译的方法  实验环境  Linux 操作系统（或微软 Windows 操作系统下的 Cygwin 环境），Flex 及 Bison  实验内容  在上一实验中，应该已经能够掌握使用 Flex 对字符流进行词法分析的方法。 正如你所了解的那样，语法分析往往伴随在词法分析之后，或者说在语法分析时 需要调用词法分析。因此在此次试验中你需要能够对我们给出的一个简单的语言 ——Demo 进行词法分析，进而完成语法分析。  Demo 语言的上下文无关文法定义如下：  program ::= LET [ declarations ] IN command sequence END  declarations ::= INTEGER [ id seq ] IDENTIFIER .  id seq ::= id seq... IDENTIFIER ,  command sequence ::= command... command  command ::= SKIP ;  | IDENTIFIER := expression ;  | IF exp THEN command sequence ELSE command sequence FI ;  | WHILE exp DO command sequence END ;  | READ IDENTIFIER ;  | WRITE expression ;  expression ::= NUMBER | IDENTIFIER | ’(’ expression ’)’  | expression + expression | expression − expression  | expression * expression | expression / expression  | expression ˆ expression  | expression = expression  | expression  expression  | expression  expression  这里非终结符用小写表示，终结符用大写或字符常量表示，所有词法和语法 分析需要处理的模式都可以在此定义中找到。  实验原理  相信通过实验一，你能够将对该语言中的字符进行词法分析，找到合法的字 符（串）。本次实验将重点关注如何利用 Bison 进行语法分析。  Bison 的前身为基于 Unix 的Yacc 。Yacc 的发布时间甚至比 Lex 还要早。Yacc 所采用的 LR 分析技术的理论基础早在 50 年代就已经由 Knuth 逐步建立了起来， 而Yacc 本身则是贝尔实验室的 S.C.Johnson 基于这些理论在 75 年到 78 年写成的。 到了 1985 年当时在 UC Berkeley 的一个研究生 Bob Corbett 在 BSD 下重写了Yacc ， 后来 GNU project 接管了这个项目，为其增加了许多新的特性，于是就有了我们 今天所用的 GNU Bison。  那么如何将 Bison 和 Flex 联合起来为我们使用，方法也非常简单。  我们之前已经使用 Flex 生成了一个 yylex() 函数，能不能让 Bison 使用 Flex 生 成过的 yylex() 函数呢？答案是肯定的。  假设我们的 Bison 源代码为 syntax.y 。首先，为了能够使用 Flex 中的各种函数， 需要在 Bison 源代码中引用 lex.yy.c：  #include lex.yy.c  随后在使用 Bison 编译这份代码时，我们需要加上“‐d ”参数：   bison ‐d syntax.y  这个参数的含义是，将编译的结果分拆成 syntax.tab.c 和 syntax.tab.h 两个文 件，其中.h 文件里包含着一些词法单元的类型定义之类的内容。得到这个.h 文件 以后，下一步是修改我们的 Flex 源代码 scanner.l，增加对 syntax.tab.h 的引用， 并且让 Flex 源码中规则部分的每一条 action 都返回相应的词法单元，如下图所 示：  %{