编译原理语义分析实验报告免费.docxVIP

编译原理综合训练 语义分析实验报告 指导老师: 班级： 学生：zeadom 学号： 学生： 学号: 2011/6/29 目录 语言文法的形式化描述 错误!未定义书签。 语义规则 错误!未定义书签。 运行环境介绍 错误!未定义书签。 关键算法的流程图及文字解释 错误!未定义书签。 K本编译器的总框架 错谋!未定义书签。 2、 在语义分析中的主要函数介绍 错误!未定义书签。 3、 产生布尔农达式 错误!未定义书签。 4、While-do语句的语义分析 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-+|-|*l/； 布尔表达式 B-EAEBT|NOTB|(B)BT BT-DB|null A-?|| = |=|=| D-AND|OR 语句 ifSIF-if B then S SELSE SELSE-null|else S2 语句 whileSW-while B do S 语义规则(属性文法)? 产生式语义规则 i:=E {Gen(:=, # — , entry(i))} { = Ne^vtemp; EE1+E2 Gen(+, f . )} { = Ne^vtemp; EE1*E2 )} / Gen(*/Z El -E { = Newtemp; Gen(@ … 一 z )} E(E1) { = } Ei { = Entry(i)} 产生式 则语义规 {:=makelist(nextquad); :=makelist(nextquad+l); Ei Gen( jnz entry(i), — , 0 )； Gen( j ? — , — , 0) } {:=makelist(nextquad); Eil R i2 } 0 ) , — ,, 0 )； :=makelist(nextquad+l); Gen( j — Gen( jR, entry(il), entry(i2) ; { := E ~i El} ；{:=E(E1)} ? — ? .一 / M } ￡ { := nextquad ; {backpatch,); ME2 EE1A :=merge,E2. Falselist)} {backpatch(El. falselist,); :=merge(El. truelist, E2. truelist); ME2 EE1V := E2. Falselist } {backpatch,); ? — ? .一 f ME2 EElA:=mergez } 产生式语义规则 {backpatch, SI ); Sif E then M :=merge, } { := nextquad ; } M c N ￡ {:=makelist(nextquad); } — 〃，0) — Gen(j, S讦 E then Ml SI); { backpatch, else M2 S2 );backpatch, N :二merge, ,} Swhile MIE { backpatch, ); Ge n( j,—.—,); backpatch, ); := do M2 SI } {:= } S begin L end SA{:= makelist()严空链拿/} {：=L S } {backpatch, ); S LL1： M 运行环境介绍 运行环境是DEVC++ Dev-C++是-个CC++开发工具，它是?款自由软件，遵守GPL协议。它集合了 GCC、MinGW32 等众多自由软件，并且可以取得必威体育精装版版本的各种工具支持，而这?切工作都是来自全球的宛热者 所做的工作，并且你拥有对这?切工具自由使用的权利，包括取得源代码等，前提是你也必须遵 守GNU协议。Dev-C++每-天都在进步着，因为它是?个自由软件。Dev-C++是?个非常实用的 编程软件，多款着名软件均由它编写而成，它在C的基础上，增强了逻辑性 关键算法的流程图及文字解释 1＞本编译器的总框架 2、在语义分析中的主要函数介绍 Backpatch(int list)nt quad) 代码： void backpatch(int listjnt patch) { int t