资源描述：
《北邮编译原理-语义分析文档和程序.docx》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、实验报告班级：2011211314姓名：oneseven学号：一．题目：语义分析程序的设计与实现。二．实验内容：编写语义分析程序，实现对算术表达式的类型检查和求值。要求所分析算术表达式由如下的文法产生。E->E+T
2、E-T
3、TT->T*F
4、T/F
5、FF->num.num
6、(E)
7、num三．实验要求：用自底向上的语法制导翻译技术实现对表达式的分析和翻译。(1)写出满足要求的语法制导定义或翻译方案。(2)编写分析程序，实现对表达式的类型进行检查和求值，并输出：1.分析过程中所有产生式。2.识别出的表达式的类型。3
8、.识别出的表达式的值。(3)实验方法：可以选用以下两种方法之一。1.自己编写分析程序。2.利用YACC自动生成工具。四．实验分析：1.步骤：（1）根据题目所给出的文法构造相应的拓广文法，并求出该文法各非终结符的FIRST、FOLLOW集合；（2）构造拓广文法的项目集规范族，并构造出识别所有前缀的DFA；（3）构造文法的LR分析表；（4）由此构造LR分析程序。（5）写出满足要求的翻译方案。（6）实现对表达式的类型进行检查和求值，并输出。2.实现方法：1.输入缓冲区为一个字符型数组，读入输入的算术表达式并保存在此
9、，以’$’结束；2.定义两个二维整形数组，goto和action，其值大于零代表移进操作，小于零代表规约操作，引进的状态或规约用到的产生式又绝对值表示。等于零代表出现错误。等于特殊值-10代表acc.状态。3.处理输入表达式中代表id和num的子串，分别将它们转化为'i'和'n'进行分析;4.根据分析表，相应进行语法分析，移近或规约，按算法4.3的步骤完成过程。5.由于要求进行类型检查和求值，所以可以定义两个综合属性，一个记录值一个记录类型，存放在结构中，一并传入传出。输出的产生式可以作为虚拟综合属性，在产生
10、式的最后打印出来。将类型检查和求值归于一次扫描，把类型和值赋给相应的表达式。由于只具有综合属性，故可以用S属性的自底向上翻译实现，利用LR分析程序来实现，只需扩充分析站和改造分析程序。本次实验是基于语法分析方法3，因此相关的代码和文档类似于上次实验。3.翻译方案：E->E’+T{E.val=E’.val+T.val}{if(E’.type==real
11、
12、T.type==real)E.type=real;elseE.type=integer;}E->E’-T{E.val=E’.val-T.val}{if(E’.
13、type==real
14、
15、T.type==real)E.type=real;elseE.type=integer;}E->T{E.val=T.val}{E.type=T.type}T->T’*F{T.val=T’.val*F.val}{if(T’.type==real
16、
17、F.type==real)T.type=real;elseT.type=integer;}T->T’/F{T.val=T’.val/F.val}{if(T’.type==real
18、
19、F.type==real)T.type=real;elseT.
20、type=integer;}T->F{T.val=F.val}{T.type=F.type}F->num.num{F.val=num.num.val}{F.type=real}F->(E){F.val=E.val}{F.type=E.type}F->num{F.val=num.val}{F.type=integer}3.计算过程：文法对应的拓广文法为：(0)E’->E(1)E->E+T(2)E->E-T(3)E->T(4)T->T*F(5)T->T/F(6)T->F(7)F->num.num(8)F->(E)
21、(9)F->num求的各个非终结符的FIRST、FOLLOW集合为：ETFFIRST(,num(,num(,numFOLLOW$,),+,-$,),+,-,*,/$,),+,-,*,/4.SLR(1)分析表为：状态+-*/().Num$ETF0S5S41231S6S7acc2R3R3S8S9R3R33R6R6R6R6R6R64R9R9R9R9R9S10R95S5S411236S5S41237S5S41338S5S4149S5S41510S1611S6S7S1712R1R1S9S10R1R113R2R2S9S1
22、0R2R214R4R4R4R4R4R415R5R5R5R5R5R516R7R7R7R7R7R717R8R8R8rR8R8R85.主程序说明：voidGet_str(void)//获取待分析输入表达式intJudge_num(charch)//判断字符是否为构成num的数字intGet_ternum(charch)//返回终结符在终结符表中的下标intGet_unternum(charch)//返回非
