yanshi.rar frmYuYiRules.frx

www.pudn.com > yanshi.rar > frmYuYiRules.frx
�6与语法规则相比，只有部分规则需要添加动作符号，下面我们列出添加了动作符号的规则。 
1、< declaration_stat >↓vartablep,datap ->int ID↑n@name-def↓n,t; 
动作解释： 
vartablep指出符号表的最后一个记录的下一个位置，即第一个空白记录位置。每当有一个记录加入符号表，该值 
加1；datap表示已经分配的地址空间，它开始时为0，每声明一个变量，该值则根据变量类型累加，如整型加2， 
实型加4等等。 
@name-def↓n, t的动作： 
查询符号表，从vartablep所指的前一个位置起往回查直到第一个记录，若没有，将标识符名n及类型1、datap的 
值填入符号表vartablep所指的位置，然后vartablep加1，datap根据类型t增加;若有，报告错误：变量重复定义 
。 
2、::=ID↑n@LOOK↓n↑d@ASSIGN =@STO↓d | 
3、::= 
                |< additive_expr >>@GT 
                |< additive_expr ><@LES 
                |< additive_expr >>=@GE 
                |< additive_expr ><=< additive_expr >@LE 
                |< additive_expr >==< additive_expr >@EQ 
                |< additive_expr >!=< additive_expr >@NOTEQ  
4、< additive_expr>::={(+< term >@ADD |-<项>@SUB)}  
5、< term >::={(*< 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 ()@BRF↑label1  @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 @SETlabel↑label1() @BRF↑label2  
                  @BR↓label1 @SETlabel↓label2 
 
动作解释如下： 
@SETlabel↑label1：设置标号label1 
@BRF↑label2 ：输出 BRF label2,codep++ 
@BR↓label1：输出 BR label1,codep++ 
@SETlabel↓label2：设置标号label2 
 
9、::=for (; 
                @SETlabel↑label1< expression >@BRF↑label2@BR↑label3; 
                @SETlabel↑label4 < expression >@BR↓label1)  
                @SETlabel↓label3 < statement >@BR↓label4@SETlabel↓label2  
动作解释： 
	@SETlabel↓label1：设置标号label1 
	@BRF↑label2 ：输出 BRF label2,codep++ 
	@BR↑label3：输出 BR label3,codep++ 
	@SETlabel↓label4：设置标号label4 
	@BR↑label1：输出 BR label1,codep++ 
	@SETlabel↓label3：设置标号label3 
	@BR↑label4：输出 BR label4,codep++ 
	@SETlabel↓label2：设置标号label2  
 
10、::=write @ OUT; 
动作解释： 
  @ OUT：输出 OUT 
 
11、::=read ID↑n LOOK↓n↑d @IN↓d; 
动作解释： 
  @LOOK↓n↑d:查符号表n，给出变量地址d; 没有，变量没定义 
  @IN：输出IN 
  @STI↓d：输出指令代码STI  d