简单语义分析扩展实验说明.docVIP

简单语义分析实验 一实验目的和内容 进一步理解递归下降分析原理和实现方法，理解语义分析的基本机制，掌握语义子程序的构造方法。 二 增加乘法 * 和除法 / 运算 *，/优先级别高于+ 对包含除法运算的表达式生成对应的四元式 禁止同名重复声明，所以登记符号之前要检查有没有同名变量声明过提交实验 提交内容： 修改之后、并且编译通过的程序代码。扩展 四、已知条件 提供了C语言版本的语义程序“分析.cpp” “语义分析.”。“分析.cpp” 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→( E ) T→id V→id 语义包括 非终结符号D实现定义两种类型int, real变量的声明； 非终结符号S实现变量之间的+，: =(赋值运算) 两个关键字 int 和real 变量之间的+，: =(赋值) 运算只能使用声明过的变量，所以要检查使用的变量是否声明过。 对每个+，: =(赋值) 运算生成一条四元式如（，A，B，T1），其中T1是临时变量例输入 real a,b; int c,d; c:=c+db; d:=b+a. 则输出 (+,d,b,T101)(+,c,T101,T102)(:=,T102,,c)(+,b,a,T103)(:=,T103,,d) 例输入 real a,b; int c,d,a; c:=c+db; d:=b+a. 则语义分析要能识别real a,b; int c,d; f:=c+d+b; d:=b+a. 则语义分析要能识别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