2024年5月25日发(作者：)

实验编号：

语法分析（2）

一、 实验目的及要求

编制一个递归下降分析程序，实现对词法分析程序所提供的单词序列的语法检查和结构分

析。

利用C语言编制递归下降分析程序，并对简单语言进行语法分析。

1 待分析的简单语言的语法

用扩充的BNF表示如下：

⑴<程序>：：=begin<语句串>end

⑵<语句串>：：=<语句>{；<语句>}

⑶<语句>：：=<赋值语句>

⑷<赋值语句>：：=ID：=<表达式>

⑸<表达式>：：=<项>{+<项> | -<项>}

⑹<项>：：=<因子>{*<因子> | /<因子>

⑺<因子>：：=ID | NUM | （<表达式>）

2 实验要求说明

输入单词串，以“#”结束，如果是文法正确的句子，则输出成功信息，打印“success”，

否则输出“error”。

例如：

输入 begin a:=9; x:=2*3; b:=a+x end # 输出 success！

输入 x:=a+b*c end # 输出 error

二、 实验环境

Microsoft Visual Studio VC6.0

三、 算法描述

（1）主程序示意图如图2-1所示。

置初值

调用scaner读下一个单词符号

调用lrparser

·1·

结束

图2-1 语法分析主程序示意图

（2）递归下降分析程序示意图如图2-2所示。

（3）语句串分析过程示意图如图2-3所示。

否

调用statement函数

是否

是

调用scaner

否

是否 ；?

调用语句串分析程序

是

调用scaner

否

是否end?

调用statement函数

是

调用scaner

出错处理

否

syn=0&&kk=0?

图2-3 语句串分析示意图

是

出错处理

打印分析成功

图2-2 递归下降分析程序示意图

（4）statement语句分析程序流程如图2-4、2-5、2-6、2-7所示。

调用term函数

否

是否标识符?

否

是否+ , -?

调用scaner

否 是

是否：=?

调用scaner

·2·

调用scaner

调用expression函数