编译DO-WHILE循环语句的翻译程序设计(LR方法、输出三地址表示)参照.pdfVIP

** 理工大学《编译原理》课程设计说明书 DO-WHILE循环语句的翻译程序设计 （LR 方法、输出三地址表示） 1. 系统描述 1.1 设计目的 通过设计、编制、调试一个 DO-WHILE 循环语句的语法及语义分析程序，加深 对语法及语义分析原理的理解， 并实现词法分析程序对单词序列的词法检查和分 析。 1.2 设计内容及步骤 对循环语句： DO 〈赋值语句〉WHILE 〈表达式〉 按给定的题目写出符合自身语法分析方法要求的文法和属性文法描述。 (1)按给定的题目给出语法分析方法的思想及分析表设计。 (2)按给定的题目给出中间代码序列的结构设计。 (3)完成相应的词法分析、语法分析和语义分析程序设计。 (4)编制好分析程序后，设计若干用例，上机测试并通过所设计的分析程序。 2 文法的描述 本程序所用的文法如下： G[S]: (1)S-do{E;}while(B) {if B.true goto B.true else goto B.false;} (2)B-I1 rop I2 {B.type=bool;B.val=I1.val rop I2.val;} (3)E-I1=I2 op I3 {I1.val=I2.val op I3.val;} (4)I-id {I.val=id.val;} 注意： rop is or ，op is +,-,*,/, id is any number or identifier 由上可知，非终结符 B 表示布尔表达式， E 表示赋值表达式 3. 语法分析方法描述及语法分析表设计 3.1 语法分析方法描述 本实验采用 LR 分析方法对 DO-WHILE 语句进行语法分析。 LR 分析法是一种能 根据当前分析栈中的符号串（通常以状态表示）和向右顺序查看输入串的 K 个 （K=0 ）符号就能惟一的确定分析器的动作是移进还是归约和用哪个产生式归 约，因而也就能惟一的确定句柄。 LR 分析法的归约过程是规范推导的逆过程， 所以 LR 分析过程是一种规范过程。 一个 LR 分析器由 3 个部分组成： 总控程序，也可以称为驱动程序。对所有的 LR 分析器，总控程序是相同的。 分析表或分析函数。不同的方法分析表将不同，同一个方法采用的 LR 分析器不 同时，分析表也不同，分析表表又可以分为动作 （ACTION ）表和状态转换 （GOTO ） 表两个部分，它们都可以用二维数组表示。 分析栈，包括文法符号栈和相应的状态栈。它们均是先进后出栈。 第 1 页 共 16 页 ** 理工大学《编译原理》课程设计说明书 分析器的动作由栈顶状态和当前输入符号所决定。 LR 分析器工作过程示意图如图所示： 输入串 XXX …# Sn Xn SP . . 总控程序 输出 . . S1 X1 S0 # ACTION GOTO 表 表 其中 SP 为栈顶指针， S[i] 为状态栈， X[i] 为文法符号栈。状态转换表内容按关系 GOTO[Si,X]=Sj 确定，改关系式是指当前栈顶状态为 Si 遇到当前文法符号为 X 时应转向状态 Sj 。X 为终结符或非终结符。 ACTION[Si,a] 规定了栈顶状态为 Sj 时遇到输入符