编译原理第4章作业答案.docx

第四章 习题 4.2.1 ： 考虑上下文无关文法： S-S S +|S S *|a 以及串 aa + a* (1) 给出这个串的一个最左推导 S - S S * - S S + S * - a S + S * - a a + S * - aa + a* (3) 给出这个串的一棵语法分析树 习题 4.3.1 ： 下面是一个只包含符号 a 和 b 的正则表达式的文法。它使用 +替代表示并运算的符号 | ，以避免和文法中作为元符号使用的竖线相混淆： rexpr rexpr + rterm | rterm rterm rterm rfactor | rfactor rfactor rfactor * | rprimary rprimary a | b 对这个文法提取公因子 提取公因子的变换使这个文法适用于自顶向下的语法分析技术吗？ 提取公因子之后，原文法中消除左递归 得到的文法适用于自顶向下的语法分析吗？ 解 提取左公因子之后的文法变为rexpr rexpr + rterm | rterm rterm rterm rfactor | rfactor rfactor rfactor * | rprimary rprimary a | b 不可以，文法中存在左递归，而自顶向下技术不适合左递归文法 消除左递归后的文法 rexpr - rterm rexpr ’ rexpr -’ + rterm rexpr ’| rterm- rfactor rterm ’ rterm -’ rfactor rterm ’| rfactor- rprimay rfactor ’ rfactor -’*rfactor ’| rprimary- a | b 该文法无左递归，适合于自顶向下的语法分析 习题 4.4.1 ：为下面的每一个文法设计一个预测分析器，并给出预测分析表。可能要先对文法进行提取左公因子或消除左递归 (3)S-S(S)S| (5)S-(L)|a L-L,S|S 解 (3) ①消除该文法的左递归后得到文法 S-S ’ S ’ -(S)SS ’ | 用类 Pascal语言构造的一个预测分析器： ②计算 FIRST 和 FOLLOW集合 PROCEDURE S FIRST(S)={(, } FOLLOW(S)={),$} BEGIN FIRST(S ’ )={(, } FOLLOW(S’ )={),$} S; ③构建预测分析表 WHILE (lo okahead==’ () 非终结符号 输入符号 THEN BEGIN ( match ((); ) $ (5) S S-S’ S-S’ S-S’ S; ’ ’ ’ ’ ’ ’ ’ ’ ’ ’ match ()); END; ①消除该文法的左递E归L得SE到I文F (法lookahead==a) S-(L)|a L-SL ’ L ’ -,SL ’E|ND; THEN match(a) ELSE error 用类 Pascal语言的一个预测分析器： ②计算 FIRST 和 FOLLOW集合 PROCEDURE S FIRST(S)={(,aB}EGFIONLLOW(S)={ ), , ,$} if (lookahead== ’ () FIRST(L)={(,a} FOLLOW(L)={ ) } THEN BEGIN FIRST(L ’ )={ , , } FOLmLOatWch(L((’);)={ ) } L; ③构建预测分析表 match ()); 非终结符号 输入E符ND号; EL( SE IF (looka)head==a)  , a $ S S-(L) THEN match(a) S-a L L-SL ’ELSE error L-SL ’ L’ END; L’ - L’ -,SL ’ 习题 4.4.4PRO计C算E练DU习RE4L.2; .2 的文法的 FIRST 和 FOLLOW集合 3)S S(S)S| BEGIN S; WHILE (lookahead == ， ); BEGIN match ( ， ); S; 5)S (L)|a,L L,S|S 解： 3)FIRST(S)={ ,( } FOLLOW(S)={ (,),$ } 5)FIRST(S)={ (,a } FOLLOW(S)={ ), , ,$ } FIRST(L)={ (,a } FOLLOW(L)={ ), , } 习题 4.6.2 为练习 4.2.1 中的增广文法构造 SLR项集，计算这些项集的 GOTO函数， 给出这个文法的语法分析表。这个文法是 SLR文法吗？ S SS+|SS*|a 解： ①构造该文法的增广文法如下 S’ -S S-SS+ S-SS* S-a ②构造该文法的 LR(0)