编译原理复习实验leture.pdfVIP

实验导引（二）

2016-10-19

1.阶段一（B）实验

简单回顾一下阶段一实验的基本要求：

阶段一（A）：自动构造工具实现词法和语法分析与翻译程序。借助Lex和Yacc实

现词法和语法分析一遍扫描源程序后直接产生一种高级中间表示（实验指定的抽象

语法树AST）。

阶段一（B）：手工编写词法和语法分析程序。手工编写自顶向下语法分析与翻译程

序，替代阶段一（A）中生成的yyparse等函数，可以实现与阶段一（A）同样的任

务（一遍扫描源程序后直接产生实验指定的抽象语法树）。

阶段一（B）实验的重点是训练自顶向下语法分析/翻译的case手工实现。对于词法分

析程序有两种选择：可以直接在阶段一（A）实验结果上修改，也可以从词法分析开

始完全自行实现。前案可以省去不少工作量，然而后案可以使程序的组织结构

更加清晰易读。

在第4讲中，我们主要介绍了两种自顶向下的语法分析的构造方法：递归下降子程序方

设计思路。

在讲解递归下降分析的原理时，语法描述是以上下文无关文法给出，并要求它是LL（1）

文法。同时也，在实际应用中，这种方法可推广至EBNF的语法描述。

这里，我们仅以基于LL(1)文法的设计为例，介绍一种递归下降分析与翻译程序的实现

方案。可选择自行尝试基于EBNF语法描述的实现方法，由于这一阶段的任务不仅

仅是实现语法分析（还要生成AST），所以这种方法可能会更加容易一些。源语言的EBNF

语法描述参见文档《Decaf语言规范》（参见网络学堂）。

2.基于LL(1)文法的设计1

2.1上下文无关文法描述的语则

对于实验框架中的源语言，一个可能的上下文无关文法为G[Program]：

ProgramClassList

ClassListClassListClassDefClassDef

ClassDefclaentifierExtendsClause{FieldList}

1本节涉及到代码的部分在实验布置时或许会有小的变动，请以框架中的代码为准。框架代码中分析子程

序的实现在遇输入结束符为Follow符号时的处理方法以及报错逻辑与第4讲给出的“规范”模式有差异，

但因为没有要求实现错误恢复功能，报错的逻辑是可行的，能够满足PA1-B任务的需求。

ExtendsClauseextendsidentifierε

FieldListFieldListVariableDefFieldListFunctionDefnε

VariableDefVariable;

VariableTypeidentifier

Typeint|bool|string|void|claentifier|Type[]

FormalsVariableListε

VariableListVariableList,VariableVariable

FunctionDefnstaticTypeidentifier(Formals)StmtBlock

Typeidentifier(Formals)StmtBlock

StmtBlock{StmtList}

StmtListStmtListStmtε

StmtVariableDef|Simpl