词法分析实验要求 .doc

北京工商大学 语义分析 实验报告 试验名称 语义分析 共 页 成绩 实验日期 2005 年 12 月 10 日 班级 软件032 组别 交报告日期 2005 年 12月20日 学号 0314010222 姓名 吴标强 同组学生 教师审批签字 三、语义分析实验说明 语义分析的功能、目的 语义分析的功能是确定源程序的语义是否正确，另一个重要功能是要分析由语法分析所识别出来的语句的意义并作相应的语义处理。目的是将源程序生成目标代码。 TEST的语义和代码生成 与语法规则相比，只有部分规则需要添加动作符号，下面我们列出添加了动作符号的规则。 1、 declaration_stat ↓fhbp,datap -int ID↑n@name-def↓n,t; 动作解释： fhbp指出符号表的最后一个记录的下一个位置，即第一个空白记录位置。每当有一个记录加入符号表，该值加1；datap表示已经分配的地址空间，它开始时为0，每声明一个变量，该值则根据变量类型累加，如整型加2，实型加4等等。 @name-def↓n, t的动作： 查询符号表，从fhbp所指的前一个位置起往回查直到第一个记录，若没有，将标识符名n及类型1、datap的值填入符号表fhbp所指的位置，然后fhbp加1，datap根据类型t增加;若有，报告错误：变量重复定义。 2、expression::=ID↑n@LOOK↓n↑d@ASSIGN =bool_expr@STO↓d |bool_expr 3、bool_expr::=additive_expr | additive_expr additive_expr@GT | additive_expr additive_expr@LES | additive_expr =additive_expr @GE | additive_expr = additive_expr @LE | additive_expr == additive_expr @EQ | additive_expr != additive_expr @NOTEQ 4、 additive_expr::=term{(+ term @ADD |-项@SUB)} 5、 term ::=factor{(* factor @MULT | / factor @DIV)} 6、 factor ::=( expression )| ID↑n@LOOK↓n↑d@LOAD↓d |NUM↑i@LOADI↓i 2、3、4、5、6规则中的动作符号解释如下： @LOOK↓n↑d:查符号表n，给出变量地址d; 没有，变量没定义 @ASSIGN：超前读一个符号，如果是‘=’，则表示进入赋值表达式，如果不是‘=’，则选择比较表达式，然后还要将超前读的这个符号退回。 @STO↓d：输出指令代码STO d, 且codep++（因产生了指令，所以指令记数加1） @LOADI↓i：输出指令代码LOADI i ,且codep++ @LOAD↓d ：输出指令代码LOAD d , 且codep++ @GT、@ADD等：输出后的指令代码GT、ADD等 7、if (expression)@BRF↑label1 statement @BR↑label2 @SETlabel↓label1 [ else statement ] @SETlabel↓label2 其中动作符号的含义如下 @BRF↑label1 ：输出 BRF label1,codep++ @BR↑label2：输出 BR label2,codep++ @SETlabel↓label1：设置标号label1 @SETlabel↓label2：设置标号label2 8、while_stat::=while @SETlabel↑label1(expression) @BRF↑label2 statement @BR↓label1 @SETlabel↓label2 动作解释如下： @SETlabel↑label1：设置标号label1 @BRF↑label2 ：输出 BRF label2,codep++ @BR↓label1：输出 BR label1,codep++ @SETlabel↓label2：设置标号label2 9、for_stat::=for (expression; @SETlabel