编译实验语法解析.docVIP

语法分析器实验报告 院 系： 专 业： 小组成员： 学 号： 日 期： 一、实验目的 根据给出的文法编制LR（1）分析程序，以便对任意输入的符号串进行分析。本次实验的目的主要是加深对LR（1）分析法的理解。 二、实验内容 对已给语言文法，构造LR(1)分析表，编制语法分析程序，要求将错误信息输出到语法错误文件中，并输出分析句子的过程（显示栈的内容） LR（1）分析法的功能 LR（1）分析法的功能是利用L（1）分析表，对输入符号串自而的分析过程。 LR（1） program ::= block . block ::= const-decl var-decl proc-decl statement const-decl ::= const const-assignment-list ; | ε const-assignment-list ::= ident = number | const-assignment-list , ident = number var-decl ::= var ident-list ; |ε ident-list ::= ident | ident-list , ident proc-decl ::= proc-decl procedure ident ; block ; |ε statement ::= ident := expression | call ident | begin statement-list end | if condition then statement | while condition do statement |ε statement-list ::= statement | statement-list ; statement condition ::= odd expression | expression relation expression relation ::= = | | | | = | = expression ::= term | adding-operator term | expression adding-operator term adding-operator ::= + | - term ::= factor | term multiplying-operator factor multiplying-operator ::= * | / factor ::= ident | number | ( expression ) 注意： (1) ε 表示空串。. (2) ident 和 number 分别表示标识符和数。 简化的文法: 实验环境： Microsoft Windows 7 Microsoft Visual Studio 2010 实验原理: 构造LR（1）项集族的方法 Setofltems CLOSURE(I) { repeat for （I中的每个项[A—α·Bβ，a] for(G中的每个产生式B—γ) for（FIRST（βa）中的每个终结符号b） 将[B—·γ，b]加入到集合I中； Until不能向I中加入更多的项； return I } Setofltems GOTO (I,X){ 将J初始化为空集； for（I中的每一个项[A—α·Xβ，a] ） 将项[A—α·Xβ，a]加入到集合J中； return CLOSURE(J)： } Void items(G) { 将C初始化为{ CLOSURE}({[ S’ —·S，$]}