(完整word版)IF-ELSE条件语句的翻译程序设计(LR方法、输出四元式)

目录

1 系统描述（问题域描述） (2)

2 文法及属性文法的描述 (2)

2.1文法 (2)

2.2 属性文法 (2)

3 语法分析方法描述及语法分析表设计 (3)

3.1语法分析方法描述 (3)

3.1．1 LR方法的基本思想 (3)

3.1.2 LR分析器模型 (4)

3.2语法分析表设计 (5)

4中间代码形式的描述及中间代码序列的结构设计 (6)

4.1中间代码形式的描述 (6)

4.2中间代码序列的结构设计 (6)

5 编译系统的概要设计 (6)

6 详细的算法描述 (7)

6.1系统流程图 (7)

6.2算法描述 (7)

7 软件的测试方法和测试结果 (18)

7.1软件的测试方法 (18)

7.2测试结果 (18)

8设计的特点、不足、收获与体会 (21)

8.1特点与不足 (21)

8.2收获与体会 (21)

9 参考文献 (21)

10本科生课程设计成绩评定表 (22)

IF-ELSE条件语句的翻译程序设计（LR方法、输出四元式）

1 系统描述（问题域描述）

对条件语句： if 〈布尔表达式〉then〈赋值语句〉 else 〈赋值语句〉，进行词法，LR(1)语法分析，并根据语法制导翻译方法将条件语句翻译成四元式中间代码形式，最后输出翻译后的四元式代码。

2 文法及属性文法的描述

2.1文法

G[S]: S->CS

S->TS

S->A

C->if E then

T->CS else

T->else

其中，E代表布尔表达式，可由界符（）括起来，A代表赋值表达式。在这里E、A都代表终结符，具体的表达式在程序会判断其类型。

2.2 属性文法

S->C S

{S.clain:=merge(C.clain,S.clain)}

S->T S

{S.clain:=merge(T.clain,S.clain)}

S->A

{S.clain:0/* 空链*/}

C->if E then

{backpatch(E.true,nextstat) C.clain:=E.false}

T->C S else

{ q:=nextstat

Emit(‘GOTO’—)

Backpatch(C.clain,nextstat)