北邮大三上-编译原理-语义分析实验报告

编译原理第六章语义分析

班级：09211311

学号：

姓名：schnee

目录

1. 实验题目和要求 (3)

2. 实验分析和思考 (3)

3. 翻译方案 (4)

4. LR实现自底向上分析（摘自语法分析实验） (5)

4.1.构造识别所有活前缀的DFA (5)

4.2.构造LR分析表 (6)

5. S属性定义的自底向上实现 (7)

5.1.扩充分析栈 (7)

5.2.改造分析程序 (7)

5.3.编程实现 (7)

6. 运行结果截图： (13)

1. 实验题目和要求

题目：语义分析程序的设计与实现。

实验内容：编写语义分析程序，实现对算术表达式的类型检查和求值。要求所分析算术表达式由如下的文法产生。

num

E id

F F F T F T T T T E T E E |)(||/|*||→→-+→ 实验要求：用自底向上的语法制导翻译技术实现对表达式的分析和翻译。 (1) 写出满足要求的语法制导定义或翻译方案。

(2) 编写分析程序，实现对表达式的类型进行检查和求值，并输出： ① 分析过程中所有产生式。 ② 识别出的表达式的类型。 ③ 识别出的表达式的值。

(3) 实验方法：可以选用以下两种方法之一。 ① 自己编写分析程序。 ② 利用YACC 自动生成工具。

2. 实验分析和思考

由于要求进行类型检查和求值，所以可以定义两个综合属性，一个记录值一个记录类型，存放在结构中，一并传入传出。

输出的产生式可以作为虚拟综合属性，在产生式的最后打印出来。

id 认为是定义的变量名，假设是26个小写字母，它们的值存于一个数组里。 将类型检查和求值归于一次扫描，当检查类型出错时则停止，否则继续。 哈希实现输入的映射，模拟词法分析的记号流。

输入格式为每个num 和id 对应两个输入字符，其他运算符仍对应一个字符。比如第4个num,输入为num4。 由于只具有综合属性，故可以用S 属性的自底向上翻译实现，利用LR 分析程序来实现，只需扩充分析站和改造分析程序。

PS:这次实验我只是简单模拟了最简单的显式严格匹配，即没有实现隐式类型转换。

3. 翻译方案

}

..),"int(",..{}..),)"(int(",..){(}..),"int(",..{}..),"int(",..{}

;_.;..)..({)}

"/int(",./..{/}

;_.;..)..({)}

"*int(",.*..{*}..),"int(",..{}

;_.;..)..({)}

"int(",...{}

;_.;..)..({)}

"int(",...{111111111111type num type F num F pr val num val F num F type E type F E F pr val E val F E F type id type F id F pr val id val F id F type F type T F T pr val F val T F T error type type T else

type F type T type F type T if F T T pr val F val T val T F T T error type type T else

type F type T type F type T if F T T pr val F val T val T F T T type T type E T E pr val T val E T E error type type E else

type T type E type T type E if T E E pr val T val E val E T E E error type type E else

type T type E type T type E if T E E pr val T val E val E T E E =→=→=→=→=→=→=→=→====→=→====→=→=→=→====-→-=-→====+→+=+→

4. LR 实现 自底向上分析（摘自语法分析实验）

4.1. 构造识别所有活前缀的DFA

构造扩展文法 E E →'

num

E id

F F F T F T T T T E T E E |)(||/|*||→→-+→ FIRST 和FOLLOW 集如下

E

T

F

FIRST id, (, num id, (, num id, (, num FOLLOW

$, ), +, -

$, ), +, -, *, /

$, ), +, -, *, /

构造识别所有活前缀的DFA 如下

4.2. 构造LR 分析表

T E E +→ (1) F T T *→ (4) id F → (7)

T E E -→ (2) F T T /→ (5) )(E F → (8) T E → (3) F T → (6) num F → (9)

5.S属性定义的自底向上实现

5.1.扩充分析栈

多定义一个结构栈数组，结构里有两个变量，一个为val, 一个为type。实现时，val其实是定义了两个变量，一个表示int时的值，一个表示real时的值，因为无法公用一个类型的变量。

定义type只有三种，一种为int, 一种为real, 一种为type_error。

val由外部提供。可通过数组搜索。

5.2.改造分析程序

在归约时完成类型检查和求值。

之所以与归约联系，是因为每一次归约决定着所用的是哪一个产生式。

acc时打印最终求值结果和表达式类型。

5.3.编程实现

#include

#include

#include

#include

#include

#include

#include

#include

#include

using namespace std;

const int S =1;//移进

const int R =2;//归约

const int ACC =3;//分析成功

const int Vt_num =9;//终结符和$数

const int Vn_num =3;//非终结符数

const int State_num =17;//状态数

const int formula_num =10;//扩展文法产生式数目

const int Max_input =1024;//输入记号流长度

const int max_stack =2500;//栈的最大高度

int token[Max_input];//记号流

int len;//记号流长度

int pointer;//定义指向输入串的指针