2021年语义分析实验报告.docVIP

2021年语义分析实验报告 2021年语义分析实验报告 PAGE / NUMPAGES 2021年语义分析实验报告 云南大学编译原理试验汇报 试验题目: 语义分析 学 院: 信息学院 专 业: 计算机科学与技术 学 号: 1060064 姓 名: 刘继远 目录 TOC \o 1-3 \h \z \u 一、 试验目 1 二、 试验内容 1 三、 源程序分析 2 1、 程序采取BNF 2 2、 依据语义要求得到对应翻译模式 3 3、 实现原理 4 4、 文法属性分析 5 5、 过程设计 5 6、 子程序说明 6 四、 设计基础思想（包含修改以后属性文法、 属性类型分析、 翻译模式） 7 1、 增加除法运算 7 2、 严禁同名反复申明 8 五、 结果及分析 8 一、 试验目 深入了解递归下降分析原理和实现方法, 了解语义分析基础机制, 掌握语义子程序结构方法。 二、 试验内容 将带变量申明表示式翻译为四元式序列, 其中包含以下要求: 非终止符号D实现定义两种类型int, real变量申明; 非终止符号S实现变量之间*, +, : =(赋值运算) 两个关键字 int 和real 变量之间*, +, : =(赋值) 运算只能使用申明过变量, 所以要检验使用变量是否申明过。 对每个*, +, : =(赋值) 运算生成一条四元式如（*, A, B, T1）, 其中T1是临时变量 *优先等级高于+, *满足左结合规则 三、 源程序分析 这是一个简单包含词法、 语法、 语义分析程序: 语义分析.h和语义分析.cpp。 实现基础原理是自顶向下分析, 单遍扫描, 以语法分析为关键, 调用词法分析, 并实现语义分析。 1、 程序采取BNF P→ DS. D→B; D D→ε B→int L | real L L→id | L, id S→ V := E H H→; S | ε E→E+T | T T→T*F|F F→( E ) F→id V→id 消除左递归以后等价文法 start→ DS. D→B; D D→ε B→int L | real L L→id A A→ , idA A→ε S→ V := E H H→; S | ε E→T R R→+T R R→ ε T→F P P→* F P P→ε F→( E ) F→id V→id 2、 依据语义要求得到对应翻译模式 start→ DS. D→ B; D D→ε B→ int L { L.type := int } | real L { L.type := real } L→ id { A.Type := L.type enter(v.entry, L.type)}A A→ , idA { A1.Type := A.type enter(v.entry,A.type)} A→ε S→ V := E { gen( :=, E.place,0,V.place) } H H→; S | ε 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:= newtemp; gen( *, P.i, F.place , T) } P {P.s:= p1.s; } P→ε {P.s=P.i} F→( E ) { F.place := E.place} F→id {F.place:=position (id)} V→id {V.place:=position(id)} 3、 实现原理 基于翻译模式自上而下语义处理（翻译） 对每个非终止符 A, 结构一个函数, 以 A 每个继承属性为形参, 以A综合属性为返回值（若有多个综合属性, 可返回统计类型值） 。如同估计分析程序结构, 该函数代码步骤是依据目前输入符号来决定调用哪个产生式。 与每个产生式相关代码依据产生式右端终止符, 非终止符, 和语义规则集（语义动作）, 依从左到右次序完成下列工作: 对终止符 X, 保留其综合属性x值至专为