编译原理语义解析总结计划实验报告总结计划.docxVIP

编译原理综合训练 语义分析实验报告 指导老师： 班级： 学生： zeadom 学号： 学生： 学号： 2011/6/29 目录 语言文法的形式化描述 .................................................................................... 错误 ! 未定义书签。 语义规则 ............................................................................................................ 错误 ! 未定义书签。 运行环境介绍 .................................................................................................... 错误 ! 未定义书签。 关键算法的流程图及文字解释 ........................................................................ 错误 ! 未定义书签。 1、本编译器的总框架 .............................................................................. 错误 ! 未定义书签。 2、在语义分析中的主要函数介绍 .......................................................... 错误 ! 未定义书签。 3、产生布尔表达式 .................................................................................. 错误 ! 未定义书签。 4、 While-do 语句的语义分析 .................................................................. 错误 ! 未定义书签。 5、词法、语法和语义分析的衔接 .......................................................... 错误 ! 未定义书签。 测试报告 ............................................................................................................ 错误 ! 未定义书签。 附录 ................................................................................................................... 错误 ! 未定义书签。 语言文法的形式化描述（ BNF 范式） 程序开始 P-program i;SDn SC; 定义语句 SDn-SDSDn|null SD-var int iSDT SDT - null|,iSDT 复合语句 SC-begin Sn end Sn-S;Sn||null 单个语句 S-SD|SA|SIF|SW|SC 赋值语句 SA-i:=E 算术表达式 E-cET|iET|(E)ET ET-AE|CE|DE|null; C-+|-|*|/; 布尔表达式 B-EAEBT|NOT B|(B)BT BT-DB|null A-||=|=|=| D-AND|OR if 语句 SIF-if B then S SELSE SELSE-null|else S2 while 语句 SW-while B do S 语义规则（属性文法） 产生式 语 义 规 则 i:=E { Gen(:=, , — ， entry(i)) } EE1+E2 { = Newtemp; Gen(+ , , , ) } EE1*E2 { = Newtemp; Gen(* , , , ) } E －E1 { = Newtemp; Gen(@ , , — , ) } E (E1) { = } Ei { = Entry(i) } 产生式 语 义 规 则 Ei { :=makelist(nextquad); :=makelist(nextquad+1); Gen( jnz， entry(i) ， — ， 0 )； Gen( j ， —，—，0) } Ei1 R i2 { :=makelist(nextquad); :=makelist(nextquad+1); Gen( jR， entry