编译原理实验——递归下降分析法（回溯）

编译原理实验——递归下降分析法（回溯）

1、实验目的与内容

采用递归下降分析法，根据下列文法内容编写程序：

E → TE’
E’ → ATE’|ε
T → FT’
T’ → MFT’ |ε
F → (E) | i
A → + | -
M → * | /

输入：一个表达式，例如”i*i+i-i“。

输出：该表达式的分析，例如（打印是倒着的）：

2、程序总体设计思路和框架

无回溯递归下降分析要先手动求出select集，为了避免手动求解的麻烦（主要是懒），采用有回溯递归下降分析的方法。

根据产生式编写函数，一个产生式对应一条函数。有多个候选式的情况下，默认产生式选择第一条候选式，如果推出错误，回溯时选择下一条候选式。

函数退出递归的条件以及回溯的状态重置，这是主要的难点。

3、主要的数据结构和流程描述

为了打印出上图所示的结果，每一条使用一个信息节点（info_node)来表示。

struct info_node //保存分析步骤的信息
{
    //int steps_number;//分析步骤号
    string grammer; //用到的语法
    string hv_ana;  //已经分析过的字符串
    char bi_ana;    //正在分析的字符
    string rem_str; //剩余的字符串
    info_node(/*int steps_number,*/ string grammer, string hv_ana, char bi_ana, string rem_str)
    {
        //this->steps_number = steps_number;
        this->grammer = grammer;
        this->hv_ana = hv_ana;
        this->bi_ana = bi_ana;
        this->rem_str = rem_str;
    }
};

没进行一次推导，就产生一个node，存放推导使用的文法，已分析的串，正在分析的字符以及未分析的串。

4、测试结果与说明

一个正确的测试例子如1，下面显示一个错误的测试例子：

输入：i*

输出：

5、实验收获与反思

加强了写回溯算法的能力。

附录

代码地址