一、 实验目的
1.理解、掌握LR(0)项目集规范族的构造方法;
2.理解、掌握SLR(1)预测分析表的构造方法;
3.理解、掌握使用SLR(1)分析表分析句子是否是文法句子;
4.理解、掌握LR(0),SLR(1),LR(1), LALR(1)的相同与区别
5.理解语法制导翻译—简单算术表达式的求值和四元式生成的步骤
二、实验内容
1.设置合适图形界面,有交互功能。
2.扩展SLR(1)分析的数据结构,增加语义栈;
3.扩展SLR(1)分析的功能,不但实现语法分析,而且同时完成规约所用产生式所附带的语义动作。
4.在SLR(1)分析实验(即实验四)输出的基础上,增加输出语义值栈的内容和最终生成的四元式中间代码。
5.通过合适的文法可以对算术表达式进行求解,并将最终结果保存在语义栈
中。
三、实验需求(需要实现哪些功能)
1.求出文法对应的项目集规范族
2.构造SLR(1)分析表
3.分析输入的符号串是否是算术表达式,并显示分析过程
4.语法分析的同时进行语义分析,并显示分析过程
5.语义分析的同时生成四元式并显示
1.SyntaxDirectedTranslation类
成员变量:
HashMap<String,Integer> isempt。 对每一个非终结符,若对应值为1则可以推导出空,0不可推导出空,-1为还未确定是否可以推导出空
HashMap<String,HashSet> Grammer 。 Grammer中保存中每一非终结符对应的一系列产生式。如{“E”,(“A”,”Ca”)}表示E->A,E->Ca
HashMap<String,HashSet> First。 First中保存每个非终结符对应的First集合
HashMap<String,HashSet> Follow。Follow中保存每个非终结符对应的Follow集合。
ArrayList<HashMap<String,HashSet>> ISet;保存项目集规范族信息。每个HashMap中保存一个项目。
String Res4ele=“”;保存在语法制导翻译过程中生成的4元式
HashMap<Integer,HashMap<String,HashSet>> Action;
HashMap<Integer,HashMap<String,HashSet>> Goto;
HashSet charSet=null; 保存文法产生式中的终结符与非终结符。
Stack ST; 句子分析过程中使用的状态栈
Stack CX; 句子分析过程中使用的符号栈
int step=0; 句子分析过程中执行次数
Stack RT; 句子分析过程中使用的输入串栈
Stack Cau=null;语义栈
函数定义:
init_layout()初始化图形界面,定义相关变量
GenerateISet()构造识别文法活前缀的DFA,并得到Action和Goto。
ProjectType()得到项目集类型
single_step()用于句子分析过程中执行的一次操作
CLOSURE()对一个项目集求闭包
isblank () 对每一个非终结符确定是否可以推导出空,并将结果存入isempt中
GET_FIRST()求每个非终结符对应的First集合,并存入First中
GET_FOLLOW()求每个非终结符对应的Follow 集合,并存入Follow中,被使用在归约时
getGrammer()将输入文法字符串转化为Grammer中保存中每一非终结符对应的一系列产生式。如{“E”,(“A”,”Ca”)}表示E->A,E->Ca
processIJ()在归约时被调用,根据产生式执行归约所用产生式所附带的语义代码