编译原理复习概要.ppt

* 第7章 LR分析法 输入串bccd＃的LR(0)分析过程 步骤 状态栈 符号栈 输入串 ACTION GOTO 1 ? 2 ? 3 ? 4 ? 5 6 7 8 9 ? 0 # bccd# S3 03 #b ccd# S8 038 #bc cd# S8 0388 #bcc d# S9 03889 #bccd # # # # # r6 11 0388 #bcc r5 11 038 #bc r5 7 03 #b r2 1 0 # acc B (11) B (11) B 7 E 1 * 第8章 语法制导和中间代码生成 1、翻译时的类型检查包括什么内容？ 运算符分量类型是否相容 赋值语句的左右部的类型是否相容 形参和实参的类型是否相容 ……（其余的检查内容见第八章课件） * 第8章 语法制导和中间代码生成 2、表达式的逆波兰式、三元式和四元式表示 b*c+b*d 逆波兰式：bc*bd*+ 三元式： 四元式： (1)(*, b, c) (1)(*, b, c, t1) (2)(*, b, d) (2)(*, b, d, t2) (3)(+, (1), (2)) (3)(+, t1, t2, t3) 注意：1:必须按照从左到右扫描的顺序，不能颠倒！ 2:四元式的顺序必须为实际的运算顺序。 * 第8章 语法制导和中间代码生成 3、控制语句翻译成四元式序列 首先画出所给语句的语法树； 再根据语法树和翻译规则进行翻译。 注意要记得回填！ * C→if E then { backpatch ( E.true , nextstat ) ; C.CHAIN:=E.false } Tp→C S1 else /* if E then S1 else */ { q:=nextstat ; emit ( jump,－,－,0 ) ;/*S1执行完，跳离整个if语句*/ backpatch ( C.CHAIN , nextstat ) ; Tp.CHAIN:＝merge ( q , S1.CHAIN ) } S→Tp S2/* if E then S1 else S2*/ { S.CHAIN:＝merge ( Tp.CHAIN , S2.CHAIN ) } W→while { W.codebegin:＝nextstat } Wd→W E do /*while E do*/ { Wd.codebegin:＝W.codebegin ; backpatch ( E.true , nextstat ) ; Wd.CHAIN:＝E.false } * S→ Wd S3 /*while E do S3 */ { backpatch ( S3.CHAIN , Wd.codebegin ) ; emit ( jump ,－,－,Wd.codebegin) ; /*S3执行完，跳至While语句开头*/ S.CHAIN:＝Wd.CHAIN) } S→ begin L end { S.CHAIN:＝L.CHAIN } S→ A { S.CHAIN:＝0 } /* 赋值句无出口，故置为空链 */ Ls→L ; { backpatch ( L.CHAIN , nextstat ) } L→Ls S /* L;S */ { L.CHAIN:＝S.CHAIN } L→ S { L.CHAIN:＝S.CHAIN } * S Wd S3 W E1 do while AB C S1 if E2 then CD A X:=Y+Z S→while E do S3 改写成： W→while Wd→W E do S→ Wd S3 S→if E then S1改写成： C→if E then S→C S1 while AB do if CD then X:＝Y+Z * Wd. begin=100 Wd.chain=101 W.begin=100 E1.begin=100 E1.true=100 E1.false=101 S3.chain=103 E2.begin=102 E2.true=102 E2.false=103 S1.chain=0 100 ( j , A , B , 0 ) 101 ( jump,－,－,0 ) S.chain=101 S Wd S3 W E1 do while AB C S1 if E2 then CD A X:=Y+Z 102 ( j , C , D , 0 ) 103 ( jump,－,－,0 ) C.chain=103 104 (＋, Y , Z , t1 ) 105 ( :＝, t1 ,－, X ) 106 (