对类C语言中while循环语句的理解及分析.zip

# WHILE 循环语句的翻译程序设计 # 一、系统描述 问题描述 对类 C 语言中 while 循环语句的理解及分析，设计编译器前端中的词法分析、语法分析、语义分析及中间代码生成等编译过程，用简单优先分析法自底向上的分析并通过语法制导翻译的方法将 while 循环语句翻译输出中间代码四元式。 主要任务 通过设计、编制、调试一个 WHILE 循环语句的语法及语义分析程序，加深对语法及语义分析原理的理解，并实现词法分析程序对单词序列的词法检查和分析。 首先写出一个能识别 while 循环语句的文法，通过求出其文法的优先表，观察该文法是否有冲突。如果有，修改文法，解决文法的冲突使它符合简单优先法的要求，然后按照这个文法编写一个集词法分析，语法分析和语义分析为一体的程序，该程序首先可以检查输入语句是否符合词法要求，若符合则继续识别输入的语句是否符合 while 语句的文法，若符合则进行语义分析，输出用四地址代码表示的中间代码。 # 二、文法及属性文法的描述 属性文法 | 产生式 | 语义动作 | | ------- | ------------------------------------------------------- | | Aid=E’ | Gen(‘=’, E.addr, ’ ’ , id.lexeme) | | EE’ | E.addr = E’.addr | | ET’ | E.addr = T’.addr | | EE+T’ | E.addr = new Temp(); gen(‘+’,E1.addr,T’.addr,E.addr) | | EE-T’ | E.addr = new Temp(); gen(‘-’,E1.addr,T’.addr,E.addr) | | T’T | T’.addr = T.addr | | TF | T.addr = F.addr | | TT*F | T.addr=new Temp(); gen(‘*’, T1.addr, F.addr, T.addr) | | TT/F | T.addr=new Temp(); gen(‘/’, T1.addr, F.addr, T.addr) | | Fid | F.addr = id.lexeme | | Fn | F.addr = n.num | | F(E’) | F.addr = E’.addr | While 语句、判断语句的属性文法有两种，一种是将 while 循环、判断语句的 L 属性（具有综合属性和继承属性）的语法制导定义（SDD）改写成语法制导的翻译方案（SDT），新的 SDT 可以和自底向上语法分析器一起完成翻译；另一种为利用拉链回填技术一趟式目标代码生成，利用真假链，将之前的语法制导的翻译方案里的继承属性变为继承属性即可自底向上的完成翻译，两种属性文法如下： 其一： | 产生式 | 语义动作 | | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | S while ( { L1 = new(); L2 = new(); C.false = S.next;； C.true=L2; gen(“label”, “ ”, “ ”, L1);}；C) { S1.next=L1; gen(“label”. “ ”, “ ”,L2); }；S1 { gen(“goto” , “ ”, “ ”, L1} | S while ( { L1 = new(); L2 = new(); C.false = S.next;； C.true=L2; gen(“label”, “ ”, “ ”, L1);}；C) { S1.next=L1; gen(“label”. “ ”, “ ”,L2); }；S1 { gen(“goto” , “ ”, “ ”, L1} | | Cid>id { if id.lexme > id.lexme goto C.true ;；Goto C.false } / /产生相关四元式 | Cid>id { if id.lexme > id.lexme goto C.true ;；Goto C.false } / /产生相关四元式 | 其二： | 产生式 | 语义动作 | | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | S while ( { M1.instr = nextinstr; / /变量 nextinstr 为下一条指令的序号}；C) {M2.instr = nextinstr; / /同上 }；S1 {backpatch (S1.nextlist, M1.instr); backpatch(C.truelist, M2.instr);； S.nextlist = B.falselist;； gen(“goto” , “ ”, “ ”, M1.instr);} | S while ( { M1.instr = nextinstr; / /变量 nextinstr 为下一条指令的序号}；C) {M2.instr = nextinstr; / /同上 }；S1 {backpatch (S1.nextlist, M1.instr); backpatch(C.truelist, M2.instr);； S.nextlist = B.falselist;； gen(“goto” , “ ”, “ ”, M1.instr);} | | Cid>id { C.truelist = makelist(nextinstr); ；C.falselist=makelist(nextinstr+1);；Gen(“ if” id.lexme > id.lexme “goto ___(空)“);； Gen(“goto ___(空)”} / /产生相关四元式 | Cid>id { C.truelist = makelist(nextinstr); ；C.falselist=makelist(nextinstr+1);；Gen(“ if” id.lexme > id.lexme “goto ___(空)“);； Gen(“goto ___(空)”} / /产生相关四元式 | # 三、语法分析方法描述及语法分析表设计 简单优先法 简单优先分析法的基本思想是对一个文法按一定原则求出该文法�