(语法分析实验报告.docVIP

语法分析实验报告 （鲍小伟 一.实验目的： 通过设计、编程、调试出一个具体语法分析程序，掌握语法分析方法和程序设计方法。 二.实验内容： 用任一语法分析方法实现对PASCAL的子集程序设计语言的分析程序。 PASCAL程序设计语言的描述如下： 程序 ::= 程序首部 说明部分 程序主体 程序首部 ::= prograp 标识符 ; 标识符* ::= 字母┃字母 字母数字串 字母* ::= a┃b┃┅┃ y ┃z 字母数字串* ::= 字母┃数字┃字母 字母数字串┃数字 字母数字串 数字* ::= 0┃非0数字 非0数字* ::= 1┃┅┃ 8 ┃9 说明部分 ::= var 变量组 : int;┃const 常量组; ┃var 变量组 : int; const 常量组; 变量组 ::= 标识符┃标识符,变量组 常量组 ::= 标识符 = 整数┃标识符 = 整数,常量组 整数* ::= 数字┃非0数字 数字串 数字串* ::= 数字┃数字 数字串 程序主体 ::= begin 执行语句 end. 执行语句 ::= 语句┃语句 ; 执行语句 语句 ::= 赋值语句┃条件语句┃循环语句┃读语句 ┃写语句┃复合语句 赋值语句 ::= 标识符 := 表达式 表达式 ::= 表达式 + 项┃表达式 - 项┃项 项 ::= 项 * 因子┃项 / 因子┃因子 因子 ::= (表达式)┃标识符┃整数 条件语句 ::= if 条件 then 语句| if 条件 then 语句else语句 关系符* ::= =┃┃┃=┃=┃ 循环语句 ::= while 条件 do 语句 条件 ::=表达式关系符表达式 读语句 ::= read (变量组) 写语句 ::= write (表达式) 复合语句 ::= begin 执行语句 end 实验要求与原理： （1）实验要求：能调用词法分析程序为其提供单词符号串，进行语法分析。输出语法分析推导或归约的过程，并具备初步的出错处理功能。写出设计报告，内容为：所选的语法分析方法原理、算法、改写的文法、分析器、一个实例分析过程等 （2）实验原理：语法分析是编译过程的核心部分。它的任务是在词法分析识别出单词符号串的基础上，分析并判定程序的语法结构是否符合语法规则。语法分析器的工作本质上是按文法的产生式，识别输入串是否是一个句子。通常，语法分析从方法上可以分成两类：一类是自上而下分析法，另一类是自下而上分析法。 自上而下分析法的主旨是，对任何输入串，试图用一切可能的方法，从文法开始符号出发，自上而下地为输入串建立一棵语法树。这种方法本质上是一种试探过程，是反复使用不同产生式谋求匹配输入串的过程。 对于一个文法满足以下三个条件，则称该文法为LL(1)文法, 文法不含有左递归。 对于文法中的每一个非终结符A的各个产生式的侯选首符集两两不相交。即，若 A-Q1|Q2|…|Qn 则 FIRST(Qi) ^FIRST(Qj)=null (ij) 对文法中的每个非终结符号A，若他存在某个侯选首符集包含空串，则 FIRST(A)^FOLLOW(A)=null 对于一个文法满足LL(1)条件时，我们就可以对其输入串进行有效的无回溯的自上而下分析程序，这个分析程序是由一组递归过程组成的，每个过程对应文法的一个非终结符号。 本程序中，便是用递归下降法实现对源程序的语法分析的。 首先，消除文法的左递归和回溯，如下： 标识符* ::=字母标识符*’ 标识符*’::=e|字母数字串* 字母数字串* ::=标识符*|数字*字母数字串*’ 字母数字串*’ ::=e|字母数字串* 说明部分 ::= const 常量组;| var 变量组 : int; 说明部分’ 说明部分’ ::=e| const 常量组; 变量组 ::=标识符*变量组’ 变量组’ ::=,变量组|e 常量组::=标识符 = 整数常量组’ 常量组’ ::=e|,变量组 数字串* ::= 数字*数字串*’ 数字串*’ ::=e|数字串* 执行语句::=语句执行语句’ 执行语句’ ::=e|;执行语句 表达式 ::=项表达式’ 表达式’ ::=+ 项表达式’|-项表达式’|e 项 ::= 因子项’ 项’ ::=+ 因子项’|/因子项’|e 条件语句::= if 条件 then 语句条件语句’ 条件语句’ ::=e| else语句 没有递归和回溯的产生式保持不变。 其次，求出每个非终结符号的终结首符号集FIRST，和FOLLOW集，如下 FIRST（程序）={p} FIRST（程序首部）={p} FIRST（说明部分）={c,d} FIRST（程序主体）={b} FIRST（标识符*）=