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

编译原理 第六章 语义分析 班级学号： 姓名：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. 编程实现 8 6. 运行结果截图： 14 实验题目和要求 题目：语义分析程序的设计与实现。 实验内容：编写语义分析程序，实现对算术表达式的类型检查和求值。要求所分析算术表达式由如下的文法产生。 实验要求：用自底向上的语法制导翻译技术实现对表达式的分析和翻译。 写出满足要求的语法制导定义或翻译方案。 编写分析程序，实现对表达式的类型进行检查和求值，并输出： 分析过程中所有产生式。 识别出的表达式的类型。 识别出的表达式的值。 实验方法：可以选用以下两种方法之一。 自己编写分析程序。 利用YACC自动生成工具。 实验分析和思考 由于要求进行类型检查和求值，所以可以定义两个综合属性，一个记录值一个记录类型，存放在结构中，一并传入传出。 输出的产生式可以作为虚拟综合属性，在产生式的最后打印出来。 id认为是定义的变量名，假设是26个小写字母，它们的值存于一个数组里。 将类型检查和求值归于一次扫描，当检查类型出错时则停止，否则继续。 哈希实现输入的映射，模拟词法分析的记号流。 输入格式为每个num和id对应两个输入字符，其他运算符仍对应一个字符。比如第4个num,输入为num4。 由于只具有综合属性，故可以用S属性的自底向上翻译实现，利用LR分析程序来实现，只需扩充分析站和改造分析程序。 PS:这次实验我只是简单模拟了最简单的显式严格匹配，即没有实现隐式类型转换。 翻译方案 LR实现 自底向上分析（摘自语法分析实验） 构造识别所有活前缀的DFA 构造扩展文法 FIRST和FOLLOW集如下 E T F FIRST id, (, num id, (, num id, (, num FOLLOW $, ), +, - $, ), +, -, *, / $, ), +, -, *, / 构造识别所有活前缀的DFA如下 构造LR分析表 (1) (4) (7) (2) (5) (8) (3) (6) (9) 状态 action goto + - * / id num ( ) $ E T F 0 s4 S6 S5 1 2 3 1 s7 s8 acc 2 r3 r3 s9 s10 r3 r3 3 r6 r6 r6 r6 r6 r6 4 r7 r7 r7 r7 r7 r7 5 s4 s6 s5 11 2 3 6 r9 r9 r9 r9 r9 r9 7 s4 s6 s5 12 3 8 s4 s6 s5 13 3 9 s4 s6 s5 14 10 s4 s6 s5 15 11 s7 s8 s16 16 12 r1 r1 s9 s10 r1 r1 13 r2 r2 s9 s10 r2 r2 14 r4 r4 r4 r4 r4 r4 15 r5 r5 r5 r5 r5 r5 16 r8 r8 r8 r8 r8 r8 S属性定义的自底向上实现 扩充分析栈 多定义一个结构栈数组，结构里有两个变量，一个为val, 一个为type。实现时，val其实是定义了两个变量，一个表示int时的值，一个表示real时的值，因为无法公用一个类型的变量。 定义type只有三种，一种为int, 一种为real, 一种为type_error。 val由外部提供。可通过数组搜索。 改造分析程序 在归约时完成类型检查和求值。 之所以与归约联系，是因为每一次归约决定着所用的是哪一个产生式。 acc时打印最终求值结果和表达式类型。 编程实现 #include cmath #i