编译原理实验二 ；语法分析.doc

编译原理 ——语法分析器 成员： 杨霞 030802107 王日日 030802139 方艳丽 030802102 实验二：语法分析实验 一、实验目的 根据给出的文法编制LR（1）分析程序，以便对任意输入的符号串进行分析。本次实验的目的主要是加深对LR（1）分析法的理解。 二、实验内容 对已给语言文法，构造LR(1)分析表，编制语法分析程序，要求将错误信息输出到语法错误文件中，并输出分析句子的过程（显示栈的内容）LR（1）分析法的功能是利用LR（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 id| 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 ) 文法缩略版: P-S S-BD B-varH; H-id|H,id D-i=E|call(k)|if(k)DelseD|while(K)doD K-ERE R-||=|=||== E-EOT|T T-TQF|F O-+|- Q-*|/ F-id|nunber|(E) programe::=P black::=S var-decl::=B ident-list ::=H statement ::=D condition ::= K expression ::=E term ::= T factor ::= F 实验环境：windows microsoft visual c++ 实验原理: 构造项集 Setofltems closure(I) { repeat for each A ((.B( ,ain J and each produtcion B(( of G such that B(.(, each of first((a)is not in J: ADD B(.(,b to I until … no more items can be added to I return I } Setofltems goto (I,X): { If I is a set of LR(1) items and X is a grammar symbol (terminal or non-terminal), then goto(I,X) is defined as follows: If A .X,a in