comment.txt

编译原理的FOR循环语句的翻译

//1表示标识符，2表示关键字，3表示常数,4表示算符,5表分界符

W->for(X;Y;Z)S;
X->A=B
Y->HIJ
Z->X
S->X
A->C
B->C
H->C
I-><|==|<=|>|>=|!=
J->C
C->DC'
C'->+DC'
C'->$
D->ED'
D'->-ED'
D'->$
E->FE'
E'->*FE'
E'->$
F->GF'
F'->/GF'
F'->$
G->i
G->(C)


//简单表达式的LL语法制导
/*E->T Es
Es->+T #GenCode(+) Es 
Es->$
T->PTs
Ts->*P #GenCode(*) Ts
Ts->$
P->id #Push(id)
P->C  #Push(C)
P->(E)*/


//while语句的文法：
//S->while  E  do  S 
//while语句的中间代码形式
//(WHILE, _, _, _)
//E的中间代码
//(DO, E.FORM, _, _)
//S的中间代码
//(ENDWHILE, _, _, _)
/*S->while  #StartWhile  E do  #DoWhile  S  #EndWhile
#StartWhile
	产生中间代码 (WHILE, _, _, _)
#DoWhile
	遇 do 时（表达式E处理完，其值在Sem[top]）：
		⑴ 类型检查：检查E是否为boolean类型；
		⑵ 产生中间代码 (DO, E.FORM , _, _)；
		⑶ E弹栈：pop(1)。 
while语句的语法制导
#EndWhile
	产生中间代码 (ENDWHILE, _, _, _) */