基于LR(1)的语法分析程序报告.docVIP

基于LR(1)的语法分析程序 1.设计目的： 设计、编制和调试一个典型的LR(1)分析器，进一步掌握LR(1)语法分析方法,掌握用预测分析方法分析LR(1)文法的具体过程，加深对LR(1)文法和预测分析方法的理解。 2.设计要求： 根据LR(1)分析法编写一个语法分析程序，.输入已给定文 法，直接输入根据己知文法构造的LR(1)分析表。 对于输入的符号串，所编制的语法分析程序应能正确判断此串是否为文法的句子，并要求输出分析过程。 3.设计过程： 3.1 LR(1)文法的含义： LR分析法的规约过程是规范推倒的逆过程，所以LR分析过程是一种规范规约的逆过程，L表示从左到右扫描输入R表示最左规约（即最右推导的逆过程→a.Bβ,a]属于CLOSURE(I)，B→ξ是一个产生式，那么，对于FIRSTβa中的每一个中介符b,如果[β→.ξ,b]原来不在CLOSURE(I)中，则把它加进去； (3)重复执行步骤（2），直到CLOSURE(I)不再增大为止。2.GO(I,X)的构造 GO(I,X)=CLOSURE(J) 其中J={任何形如[A→aX.Β,a]的项目[A→a.X.Β,a]属于I} 3.FIRST集合的构造 在这个程序中使用的是FIRST(βa)，这基于每一个非终结符的FRIST集合（终结符的FIRST就是它本身）。所以需要对每一个非终结符构造其FIRST集合。 方法如下： 连续使用下面的规则，直到每个集合FIRST不再增大为止。 若X属于VT，则FIRST(X)={X}。 （2）若X属于VN，且有产生式X→a…，则把A加入到FIRST(X)中；若X→ξ也是一条产生式，则把ξ也加入到FIRST中。 4.LR(1)分析表的构造 在实现GO(I,X)时，记录下状态的转化。得到分析表中的移进部分。然后再扫描所有的项目集，找到其中包含归约项目的哪些项目集，根据其中项目，得到分析表中那些鬼月的部分。 4 设计内容 4.1 主要变量说明： #define SIZE 20 //宏定义，定义sSIZE为12 #define sSIZE 12 //宏定义，定义sSIZE为12 #define aSIZE 6 //宏定义，定义aSIZE为6 #define gSIZE 2 //宏定义，定义gSIZE为2 #define geSIZE 6 //宏定义，定义geSIZE为6 typedef struct Ge { char head; //文法规则左部 char gen[5]; //文法规则右部 }Generate;//生成符号串的基本数据结构体 typedef struct A { int st[aSIZE]; //遇到终结符时下一个动作状态 int re[aSIZE]; //遇到非终结符时进行规约 }Action;//动作表的基本数据结构体 typedef struct G { char head[gSIZE]; //状态转换时遇到的非终结符 int gt[gSIZE]; //标记下一个状态 }GOTO;//GOTO表的基本数据结构体 int status[SIZE]; //状态栈 int sta_Index; //状态栈栈顶标记 char symbol[SIZE]; //符号栈 int sym_Index; //当前符号栈的标记 char expression[SIZE]; //输入的符号串 int exp_Index; //输入符号串的标记 int exp_top; //输入符号串的栈顶元素 int step; //计算步骤 int IsAccept = 0; //初始化接受状态标志置为0 Generate gene[geSIZE +1]; Action act[sSIZE]; GOTO go[sSIZE]; 4.2 程序流程图： N Y 4.3运行结果： 运行后进入界面： 上图是编译运行后进入的主界面，给出了给定文法、分析表，要求出入一个要进行分析的符号串。 输入错误字符串beD： 上图中含有非终结符，不符合要输入指定的几个非终结符的要求，所以提示错误。 输入字符串aed： 上图输入的符号串符合要求，可见结果为接受状态，