yacc语法分析minipascal_语法分析器 YACC实验报告

课程名称

编译原理课程设计

实验课时

实验项目

基于

YACC

的语法分析器

实验时间

实验目的

1

．

学习基于

YACC

的语法分析器的构造方法。

2

．

学习

C-

的语法结构。

实验环境

Parser Generator

VC++ 6.0

实

验

内

容

(算法、程

序、步骤和

方法)

基于

YACC

构造词法分析器的方法

1 YACC

文件格式

Lex

文件分成三个部分，分别为

definitions

、

rules

以及

auxiliary routines

，中间用

%%

分割开。

Definitions

包括要加入到生成的

C

程序的头部的代码，

包括

#include

语句、

#define

语句及一些全局变量的定义。

token

也在

Definitions

部分定义，

YACC

规定，

必须自己定义

token

，

他将

token

定义为一系列从

258

开始的正整数，如在

Definition

部分加入了

如下定义：

%token

NUMBER,

则在生成的

C

代码中：

#define

NUMBER

258

。当然这个值也可以由用户定义。

Definitions

中同时还定义了

YACC

中的返回值类型，由于

rules

部分是由固定符号来代替一个

Symbol

的返回值，其默认类

型为

int

，

如果用户希望返回其他类型的值

(如

ParseTree

树结点)

，

则可以在

Definition

中定义

Symbol

的返回值。首先使用一

个

%union{

…

}

包含所有需要的返回值类型，定义

%type {

…

}

其

中包含所有返回值为

t

的

Symbol

。

Definitions

中可以定义语法的结合性来消除二义性，

包括两

个符号

%left

表示左结合和

%right

表示右结合。