实验三语义分析报告-.doc

编译原理实验报告实验名称:分析调试语义分析程序    实验类型:验证型                指导教师:                专业班级:          姓  名:                学  号:          实验地点:            实验成绩:                    日期:2016 年 6月 3日实验三 分析调试语义分析程序一、实验目的通过分析调试TEST语言的语义分析和中间代码生成程序,加深对语法制导翻译思想的理解,掌握将语法分析所识别的语法范畴变换为中间代码的语义翻译方法。2、,且在语法分析过程中,每当需要使用一个产生式进行推导或归约时,语法分析程序除执行相应的语法分析动作外,还要执行相应的语义动作或调用相应的语义子程序。基本思想是,根据翻译的需要设置文法符号的属性,以描述语法结构的语义。例如,一个变量的属性有类型,层次,存储地址等。表达式的属性有类型,值等。属性值的计算和产生式相联系。随着语法分析的进行,执行属性值的计算,完成语义分析和翻译的任务。)设计原理:在实验二的基础上为文法符号引进一组属性及相应求值规则和动作,得到属性翻译文法,并引进一个符号表(包括变量名,变量数据是否有效,变量地址,变量的具体数据,数据类型等),在进行语法分析的同时,结合符号表完成语义分析与检测,同时根据属性翻译文法的属性及相关动作得到中间代码(抽象机式汇编指令),最后通过模拟的抽象机运行出结果。2)设计方法:(@为动作标志,↓为继承属性,↑为综合属性)结合课本语法制导相关内容对文法增加属性和动作如下:以下列出有修改的属性翻译文法:①<declaration_stat>↓vartablep,datap,codep→intID↑******@name-def↓n,t;其中动作符号的含义如下***@name-def↓n,t:插入符号表;②<if_stat>→if(<expr>)***@BRF↑label1<statement>***@BR↑******@SETlabel↓label1|if(<expr>)***@BRF↑label1<statement>***@BR↑******@SETlabel↓label1else<statement>***@SETlabel↓label2其中动作符号的含义如下***@BRF↑label1:输出BRFlabel1;***@BR↑label2:输出BRlabel2;***@SETlabel↓label1:设置标号label1;***@SETlabel↓label2:设置标号label2;③<while_stat>→******@SETlabel↑label1(<expression>)***@BRF↑label2<statement>***@BR↓******@SETlabel↓label2其中动作符号的含义如下***@SETlabel↑label1:设置标号label1;***@BRF↑label2:输出BRFlabel2;***@BR↓label1:输出BRlabel1;***@SETlabel↓label2:设置标号label2;④<for_stat>→for(<expression>***@POP;***@SETlabel↑label1<expression>***@BRF↑label