北邮 编译原理 语义分析实验报告

编译原理

第六章语义分析

目录

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

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

3. 翻译方案 (4)

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

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

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)