实验三语义分析报告.doc

《实验三语义分析报告.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、编译原理实验报告实验名称：分析调试语义分析程序实验类型：验证型指导教师：专业班级：姓名：学号：实验地点：实验成绩：日期：2016年6月3日实验三分析调试语义分析程序一、实验目的通过分析调试TEST语言的语义分析和中间代码生成程序，加深对语法制导翻译思想的理解，掌握将语法分析所识别的语法范畴变换为中间代码的语义翻译方法。二、实验知识1.语法制导基本思想语法制导就是对文法中的每个产生式都附加一个语义动作或语义子程序，且在语法分析过程中，每当需要使用一个产生式进行推导或归约时，语法分析程序除执行相应的语法分析动作外，还要执行相应的语义动作或调用相应的语义子程序。基本

2、思想是，根据翻译的需要设置文法符号的属性，以描述语法结构的语义。例如，一个变量的属性有类型，层次，存储地址等。表达式的属性有类型，值等。属性值的计算和产生式相联系。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。2.翻译方案设计1）设计原理：在实验二的基础上为文法符号引进一组属性及相应求值规则和动作，得到属性翻译文法，并引进一个符号表（包括变量名，变量数据是否有效，变量地址，变量的具体数据，数据类型等），在进行语法分析的同时，结合符号表完成语义分析与检测，同时根据属性翻译文法的属性及相关动作得到中间代码（抽象机式汇编指令），最后通过模拟的抽象机

3、运行出结果。2）设计方法：（@为动作标志，↓为继承属性，↑为综合属性）结合课本语法制导相关内容对文法增加属性和动作如下：以下列出有修改的属性翻译文法：①↓vartablep,datap,codep→intID↑n@name-def↓n,t;其中动作符号的含义如下@name-def↓n,t：插入符号表；②→if()@BRF↑label1@BR↑label2@SETlabel↓label1

4、if()@BRF↑label1@BR↑label2@S

5、ETlabel↓label1else@SETlabel↓label2其中动作符号的含义如下@BRF↑label1：输出BRFlabel1；@BR↑label2：输出BRlabel2；@SETlabel↓label1：设置标号label1；@SETlabel↓label2：设置标号label2；③→while@SETlabel↑label1()@BRF↑label2@BR↓label1@SETlabel↓label2其中动作符号的含义如下@SETlabel↑label1：

6、设置标号label1；@BRF↑label2：输出BRFlabel2；@BR↓label1：输出BRlabel1；@SETlabel↓label2：设置标号label2；④→for(@POP;@SETlabel↑label1@BRF↑label2@BR↑label3;@SETlabel↑label4@POP@BR↓label1)@SETlabel↓label3@BR↓label4@SETlabel↓label2其中动作符号的含义如下@SETlabe

7、l↓label1：设置标号label1；@BRF↑label2：输出BRFlabel2；@BR↑label3：输出BRlabel3；@SETlabel↓label4：设置标号label4；@BR↑label1：输出BRlabel1；@SETlabel↓label3：设置标号label3；@BR↑label4：输出BRlabel4；@SETlabel↓label2：设置标号label2；⑤→write@OUT;其中动作符号的含义如下@OUT：输出OUT⑥→readID↑nLOOK↓n↑d@IN

8、@STO↓d@POP;其中动作符号的含义如下@LOOK↓n↑d:查符号表n，给出变量地址d；没有，变量没定义；@IN：输出IN；@STO↓d：输出指令代码STOd；@POP：将栈顶元素出栈⑦→ID↑n@LOOK↓n↑d@ASSIGN=@STO↓d@POP

9、其中动作符号的含义如下@LOOK↓n↑d:查符号表n，给出变量地址d；没有，变量没定义；@ASSIGN：记住当前文件位置；@STO↓d：输出指令代码STOd；⑧→

10、

11、r>>@