语法分析程序的设计与实现..pdfVIP

语法分析程序的设计与实现

一：实验内

容：

二：实验要

求：

三：实验方

法：

◆由LEX建立YACC的词法分析程

序

◆yacc原理介

绍

◆词法分

析

4

◆解析器如何工

作

◆Yacc环

境

5

◆常用代

码

7

第四：YACC内部名

称：

第五：运行结果（源代码见附录）

8

第六：实验总

结

第七：附

录

附录一：yacc程序，加注

释

附录二：词法分析器的工作原

理

一：实验内容：

编写语法分析程序，实现对算术表达式的语法分析，要求所分析的算术表达式由

如下的文法产生。

◆E-E+T|E-T|T

◆T-T*F|T/F|F

◆F-id|(E)|num

二：实验要求：

在对表达式进行分析的同时，输出所采用的产生式。

可以采用多种方法

◆编写递归调用程序，实现自顶向下的分析。

◆编写LL(1)语法分析程序，要求：

编程实现算法4.2，为给定的文法自动构造预测分析表

编程实现算法4.1，构

造LL(1)预测分析程序，

◆编写语法分析程序，实现自底向上的分析，要求：

构造识别所有活前缀的DFA

构造LR分析表

编程实现算法4.3，构造LR分析程序

◆利用yacc自动生成语法分析程序，调用LEX自动生成的词法分析器程序

三：实验方法：

◆由LEX建立YACC的词法分析程序

由LEX产生的词法分析程序可用于YACC，LEX编译程序根据LEX源程序产生

词法分析程序yylex(),这个名字就是YACC所需要的词法分析程序的名字。如果

YACC要调用LEX产生的词法分析程序，则在YACC源程序的第三部分用语句

#include“lex.yy.c”代替函数yylex()

的定义，这一yylex()就可以访问YACC中记号的名字，因为LEX的输出时候

YACC输出文件的一部分，所有，每个LEX的动作都返回YACC知道的终结

符。

在UNIX的环境下，如果LEX源程序在first.l中，YACC的源程序在second.y

中，可以使用以下命令得到所需要的分析程序。

Lexfirst.l

Yaccsecond.y

cc-oyaccdemoy.tab.clex.yy.c

◆yacc原理介绍

Yacc是用可移植的C语言写成的。接受的规定类别是非常一般性的:带有去歧义

规则的LALR(1)文法。

Yacc提供了一个通用工具来在计算机程序的输入上施加结构。Yacc用户准备输

入处理的规定；它包括描述输入结构的规则，在识别了这些规则的时候调用的代

码，和做基本输入的一个低层例程。Yacc接着生成一个函数来控制输入处理。这

个函数叫做解析器(parser)，它调用用户提供的低层输入例程(词法分析器

(analyzer))来从输入流中选取基本项目(叫做记号(token))。依据叫做文法规则的输

入结构规则来组织这些记号；在识别了这些规则中的某一个的时候，接着调用为

这个规则提供的叫做动作的用户代码；动作有能力返回值并使用其他动作的值。

为了便利在动作和解析器之间的通信，对动作语句要做稍微的改动。在这个上下

文中使用美元符号“$”作为给Yacc的一个信号。

◆词法分析

用户必须提供一个词法分析器来读取输入流并把记号(带有值，如果需要的话)传

达到解析器。词法分析器使叫做yylex的整数值的函数。这个函数返回一个整数

的记号编号，它表示读取的记号的种类。如果这个记号关联着一个值，应当把它

赋予外部变量yylval。

为使通信得以发生，解析器和词法分析器必须在记号编号上达成一致。编号可以

由Yacc或用户来选择。在这两种情况下，使用C语言的“#define”机制允许词法

分析器使用符号来返回这些编号。例如，假定在Yacc规定文件的声明段中已经

定义记号名字DIGIT。

它的意图是返回一个DIGIT记号编号，和等于这个数字的数值的一个值。倘若词

法分析器代码位于规定文件的程序段，标识符DIGIT将被定义为与记号DIGIT

关联的记号编号。

这种机制导致清晰的、易于修改的词法分析器；唯一的缺点是在文法中需要避免

使用任何在C语言或解析器中保留的或有意义的记号名字；例如，使用记号名字

if或while就一定会导致编译词法分析器时出现严峻的困难。记号名字error保留

给错误处理，不应该随便使用。

同上所述，记号编号可以由Yacc或用户来选择。在缺省的条件下，编号由