语法分析-预测分析方法.docVIP

实验2-1 语法分析—预测分析方法 一、实验目的 使用预测分析方法编制分析程序，实现对词法分析程序所提供的单词序列的语法检查和结构分析。了解预测分析法和递归子程序法的区别和联系，培养动手实践的能力。 二、实验内容 使用预测分析法分析一段程序代码。如果符合文法定义，程序输出“是”，否则输出“否”。 由于预测分析和递归子程序都是自顶向下的分析方法，这里给出无回溯的和无左公因子的文法。无左递归和无左公因子的BNF如下： 程序→程序首部分程序 程序首部→PROGRAM 标识符 分程序→常量说明部分变量说明部分过程说明部分复合语句 常量说明部分→CONST常量定义常量定义后缀|ε 常量定义→标识符=无符号整数 常量定义后缀→, 常量定义常量定义后缀|ε 变量说明部分→VAR变量定义变量定义后缀|ε 变量定义→标识符标识符后缀类型 标识符后缀→,标识符标识符后缀|ε 变量定义后缀→变量定义变量定义后缀|ε 类型→INTEGER|LONG 过程说明部分→过程首部分程序过程说明部分后缀|ε 过程首部→PROCEDURE 标识符参数部分 参数部分→(标识符类型)|ε 过程说明部分后缀→过程首部分程序过程说明部分后缀|ε 语句→赋值或调用语句|条件语句|当型循环语句|读语句|写语句|复合语句 赋值或调用语句→标识符后缀 后缀→=表达式|(表达式)|ε 条件语句→IF条件THEN语句 当型循环语句→WHILE条件DO语句 读语句→READ (标识符标识符后缀) 写语句→WRITE (表达式表达式后缀) 表达式后缀→, 表达式表达式后缀|ε 复合语句→BEGIN 语句语句后缀END 语句后缀→ 语句语句后缀|ε 条件→ 表达式关系运算符表达式|ODD表达式 表达式→+项项后缀|-项项后缀|项项后缀 项后缀→加型运算符项项后缀|ε 项→因子因子后缀 因子后缀→乘型运算符因子因子后缀|ε 因子→标识符|无符号整数|（表达式） 加型运算符→+|- 乘型运算符→*|/ 关系运算符→=|||=||=1 终结符种别码对照表 种别码 单词 种别码 单词 种别码 单词 种别码 单词 1 PROGRAM 2 CONST 3 VAR 4 INTEGER 5 LONG 6 PROCEDURE 7 IF 8 THEN 9 WHILE 10 DO 11 READ 12 WRITE 13 BEGIN 14 END 15 ODD 16 + 17 - 18 * 19 / 20 = 21 22 23 = 24 25 = 26 . 27 . 28 29 : 30 := 31 ( 32 ) 33 无符号整数 34 标识符 35 # 2 非终结符及函数名对照表 非终结符 函数名 非终结符 函数名 程序 program 程序首部 proghead 分程序 block 常量说明部分 consexpl 常量定义 consdefi 变量说明部分 varexpl 常量定义后缀 conssuff 变量定义 vardefi 变量定义后缀 varssuff 过程说明部分 procdefi 类型 typeil 过程首部 procedh 过程说明部分后缀 procsuff 赋值或调用语句 assipro 语句 sentence 后缀 suffix 条件语句 ifsent 读语句 read 当型循环语句 whilesent 标识符后缀 idsuff 写语句 Write 复合语句 compsent 表达式后缀 Exprsuff 语句后缀 sentsuff 条件 Conditio 项后缀 termsuff 表达式 Express 项 term 因子后缀 Factsuff 参数部分 argument 因子 Factor 加型运算符 addoper 乘型运算符 Muloper 关系运算符 respoper #includestdio.h #includeiostream #includeprocess.h #includectype.h #includestring.h #define lenth1 15 #define lenth2 18 /*规则表*/ int rule[][6]={ {0}, //空 {129,130,26,0}, //程序首部分程序. {1,34,28,0}, //program 标识符； {131,134,138,150,0},//常量说明部分变量说明部分过程说明部分复合语句 {2,132,133,28,0}, //const 常量定义常量定义后缀； {0}, {34,20,33,0}, //标识符= 无符号整数 {27,132,133,0}, //，常量定义常量定义后缀 {3,135,136