语义分析实验报告.doc

语义分析实验报告.doc

ID:48455564

大小:112.00 KB

页数:12页

时间:2020-01-31

语义分析实验报告.doc_第1页
语义分析实验报告.doc_第2页
语义分析实验报告.doc_第3页
语义分析实验报告.doc_第4页
语义分析实验报告.doc_第5页
资源描述:

《语义分析实验报告.doc》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、云南大学信息学院计算机实验中心云南大学编译原理实验报告实验题目:语义分析学院:信息学院专业:计算机科学与技术学号:20091060064姓名:刘继远10云南大学信息学院计算机实验中心目录一、实验目的1二、实验内容1三、源程序分析21、程序采用的BNF22、根据语义要求得到对应的翻译模式33、实现原理44、文法的属性分析55、过程设计56、子程序说明6四、设计的基本思想(包括修改之后的属性文法、属性类型分析、翻译模式)71、增加除法运算72、禁止同名重复声明8五、结果及分析810云南大学信息学院计算机实验中心一、实验目的进一步理解递归下降分析原理和实现方法,理解语义分析的基本机制,掌

2、握语义子程序的构造方法。二、实验内容将带变量声明的表达式翻译为四元式序列,其中包括以下要求:l非终结符号D实现定义两种类型int,real变量的声明;l非终结符号S实现变量之间的*,+,:=(赋值运算)l两个关键字int和reall变量之间的*,+,:=(赋值)运算只能使用声明过的变量,所以要检查使用的变量是否声明过。l对每个*,+,:=(赋值)运算生成一条四元式如(*,A,B,T1),其中T1是临时变量l*优先级别高于+,*满足左结合规则10云南大学信息学院计算机实验中心三、源程序分析这是一个简单的包含词法、语法、语义分析的程序:语义分析.h和语义分析.cpp。实现的基本原理是自

3、顶向下分析,单遍扫描,以语法分析为核心,调用词法分析,并实现语义分析。1、程序采用的BNFP→DS.D→B;DD→εB→intL

4、realLL→id

5、L,idS→V:=EHH→;S

6、εE→E+T

7、TT→T*F

8、FF→(E)F→idV→id消除左递归之后的等价文法start→DS.D→B;DD→εB→intL

9、realLL→idAA→,idAA→ε10云南大学信息学院计算机实验中心S→V:=EHH→;S

10、εE→TRR→+TRR→εT→FPP→*FPP→εF→(E)F→idV→id2、根据语义要求得到对应的翻译模式start→DS.D→B;DD→εB→intL{L.type:=int}

11、

12、realL{L.type:=real}L→id{A.Type:=L.typeenter(v.entry,L.type)}AA→,idA{A1.Type:=A.typeenter(v.entry,A.type)}A→εS→V:=E{gen(":=",E.place,0,V.place)}HH→;S

13、εE→T{R.i:=T.place}R{E.place:=R.s}R→+T{R1.i:=newtemp;gen("+",R.i,T.place,R1.i)}R{R.s:=R1.s;}R→ε{Rs=R.i}T→F{P.i:=F.place}P{T.place:=P.s}P→*F{p1.i:

14、=newtemp;gen("*",P.i,F.place,T)}P{P.s:=p1.s;}10云南大学信息学院计算机实验中心P→ε{P.s=P.i}F→(E){F.place:=E.place}F→id{F.place:=position(id)}V→id{V.place:=position(id)}3、实现原理基于翻译模式的自上而下语义处理(翻译)1.对每个非终结符A,构造一个函数,以A的每个继承属性为形参,以A的综合属性为返回值(若有多个综合属性,可返回记录类型的值)。如同预测分析程序的构造,该函数代码的流程是根据当前的输入符号来决定调用哪个产生式。2.与每个产生式相关的代码根

15、据产生式右端的终结符,非终结符,和语义规则集(语义动作),依从左到右的次序完成下列工作:(1)对终结符X,保存其综合属性x的值至专为X.x而声明的变量;然后调用匹配终结符(match_token)和取下一输入符号(next_token)的函数;(2)对非终结符B,利用相应于B的函数调用产生赋值语句c:=B(b1,b2,…,bk),其中变量b1,b2,…,bk对应B的各继承属性,变量c对应B的综合属性(3)对语义规则集,直接copy其中每一语义规则(动作)来产生代码,只是将对属性的访问替换为对相应变量的访问。4、文法的属性分析文法符号属性综合或继承含义start无D无B无LL.typ

16、e继承类型AA.type继承类型S无EE.place综合指向变量或临时变量的指针(用整数实现)RR.i继承同上10云南大学信息学院计算机实验中心R.s综合同上TT.place继承同上PP.i继承同上P.s综合同上FF.place综合同上VV.place综合同上5、过程设计intgetsym();//读一个单词voidenter(enumsymboltype);//登记符号表voidinit();intposition(char*idt);//查询符号表用函数,返回在符

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。