编译.docx

1、编译文法和语言（1）L(G) = an|n0 解答: G: SaS|L(G) = an|n1 解答: G: SaS|aL(G) = anbm |n1, m1 解答: G1:SAB AaA|a BbB|bG2: SaA AaA|B BbB|bL(G) = anbm |n0, m0 解答: G1:SAB AaA| BbB|G2: AaA|B BbB|L(G) = anbmck |n, m, k0 解答: G: SaS|B BbB|C CcC|L(G) = anbn | n0 解答: G: SaSb |L(G) = anbn | n1 解答: G: SaSb | ab L(G) = anban |

2、n0 解答: G: SaSa | bL(G) = anban | n1 解答: G1: SaSa | aba G2: SaAa AaAa | b L(G) = anbmcm | n0,m1 解答: GS: SAB AaA| BbBc|bcL(G) = anbmcm | n1,m0 解答: G1S: SAB AaA|a BbBc|L(G) = anbnambm | n0,m0 解答: G2: SAB AaAb|BaBb|G1: SAA AaAb|L(G) = 1n0m1m0n | n,m0 解答: G: S1S0 | A A0A1 | L(G) = WaWr | W0|a*，Wr表示W的逆序 解

3、答: G: S0S0 SaSa Sa文法和语言（2）L(G) = an|n1，n为奇数 解答: G: SaaS | aL(G) = an|n0，n为非负偶数 解答: G: SaaS | L(G) = anbn |n1，n为奇数 解答: G: SaaSbb | abL(G) = anbn |n0，n为非负偶数 解答: G: SaaSbb | L(G) = ambncn | m为奇数，n为非负偶数 解答: G: SAB AaaA | a BbbBcc | L(G) = ambn | nm1 解答1: G: SAB AaAb| ab BbB | b解答2: G: SSb | Ab AaAb | ab

4、提示： b的个数比a多 ambn = ambm bn-m ( m1, n-m1 )L(G) = anbm | 2nmn1 解答: G: SaSb | ab SaSbbL(G) = anbm | 2nmn1 解答: G: SaSb | ab SaSbb | abbL(G) = anbm | 2nmn1 解答: G: SaSb | aabbb SaSbb词法分析 正规式/自动机自测题及解答一、单项选择题1. 文法G产生的_ C _的全体是该文法描述的语言。【A】句型 【B】终结符号 【C】句子 【D】非终结符号2. 确定的有限自动机能识别_ B _【A】上下文有关文法产生的语言 【B】正规语言 【

5、C】上下文无关文法产生的语言 【D】以上三种语言都不能识别二、简答题1. =a,b, 正规式 (a|b)a(a|b)*a 表示的语言有什么特点。【解答】 第2个符号是a，且以a结尾2. =a,b, 正规式 (ba | a)* 表示的语言有什么特点。【解答】 每个b都有a跟在后面3. 设 L0,1* , L中的符号串以0开头并且以1结尾;(1) 写出定义集合L的正规式。(2) 构造识别集合L的DFA。【解答】 定义集合L的正规式：0(0|1)*14. 设 La,b,c*, L是满足下述条件的符号串构成的语言:(1) 若出现a, 则其后至少紧跟两个c;(2) 若出现b, 则其后至少紧跟一个c。试写

6、出定义语言L的正规式【解答】 ( acc | bc | c )*文法和语言自测题及解答一、单项选择题1. 给定文法G: AbA | cc , 则以下符号串中, 是文法句子的是_ D_【A】bcbc 【B】bcbcc 【C】bccbcc 【D】bbbcc2. _ B _正规文法G能产生语言 L(G) = anbn | n 1 【A】存在一个 【B】不存在任何 【C】可能存在也可能不存在 【D】 bbbcc二、简答题1. 写一个文法G, 使得 L(G) = anbman | n, m 0 【解答】 G : SaSa | B BbB |2. 写一个三型文法G, 使得 L(G) = anbmck |

7、n, m, k 1 【解答】 G : SaS | aB BbB | bC CcC | c3. 描述由下列文法所产生的语言的特点 G: SSS | 1A0 A1A0 | 【解答】 该语言的特点是产生的句子中,0和1的个数相同, 并且若干相邻的1后面必然紧跟数量相同的连续的04. 化简以下文法: G: SaS | W | U Ua VbV | ac WaW【解答】 化简后的文法 G: SaS | U Ua5. 证明下述文法G是二义的。G: SAc | aB Aab Bbc【解答】 请尝试画出句子abc的两棵不同语法树6. 证明下述文法G是二义的。 G: SS ( S ) S | 【解答】 请尝试画

8、出句子（）（）的两棵不同语法树文法、正规式、自动机、正规语言课上练习1. 构造DFA，可以识别a,b,c组成的串, 但是所含 a的个数不超过1. (即可以含一个a或不含a)2. 构造DFA，可以识别a,b,c组成的串, 串中只含一个a3. 构造DFA，可以识别a,b,c组成的串, 串中 至少含一个a4. 构造识别标识符的自动机 l(l|d)* 5. a,b ,不以a开头, 但以aa结尾的字符串集合的正规式和自动机b(a|b)*aa6. 构造自动机, 识别a,b,c组成的串, 每个a后面至少紧随两个b，并写出等价的正规式(b|abb)*课下练习11. 给语言 L=an|n0 , 写3型文法，并构

9、造自动机可以构造出L的自动机如下: 再将自动机转换成3型文法, G: SaS |2. 给语言L= anbm |n,m1，写3型文法，并构造自动机 可以构造出L的自动机如下: 再将自动机转换成3型文法, G: SaA AaA|bB BbB| 3. 构造自动机 L= a2n+1b2ma2p+1 | n0,m1, p0 4. 给语言 L(G)= anbmck |n,m,k0 ，写3型文法，并构造自动机 a*b*c*G: SaS|B BbB|C CcC|将DFA 1和DFA 2确定化最小化, 得到结果相同：课下练习25. 构造自动机，识别能被3整除的二进制数状态0: 被3整除状态1: 被3除余1状态2

10、: 被3除余26. 构造自动机，识别含奇数个0 且 奇数个1 的二进制数串S: 偶数个0, 偶数个1A: 奇数个0, 偶数个1B: 奇数个0, 奇数个1C: 偶数个0, 奇数个17. 构造文法, 产生含有偶数个1的二进制数串， 0,1解法一：G : S 0S | 1A | A 0A | 1S 解法二：S: 偶数个0, 偶数个1A: 奇数个0, 偶数个1B: 奇数个0, 奇数个1C: 偶数个0, 奇数个1确定化，最小化，则得到解法一中的DFA单元测试28. 构造自动机，识别满足以下条件的符号串：至少含有两个1, 又在任何两个1之间有偶数个0 9. 写出下图所示自动机所描述的语言100*|100*

11、11*0|111*0化简得: 10*1*0L=10m1n0 | m0, n010. 证明题：正规集的子集不一定是正规集证明如下:a*b* 是正规集, L1= anbn |n0是它的子集, 但是L1不是正规集, 因为找不到一个3型文法描述L1, 即只能用2型文法描述L1 G: SaSb|语法分析自下而上分析自测题与解答一、简答题 1. 为什么LR(1)分析器的分析能力要强于SLR(1)分析器?2. 同心集的合并是否会产生新的移进-归约冲突, 请说明原因。二、综合题1. 文法 G: SSaS | 证明文法G是否为下列文法, 并说明理由。 (1) LL(1)文法 (2) SLR(1)文法 (3) L

12、R(1)文法【解答】存在句型 SaSaS 对应两棵不同语法树，文法G是二义文法，所以文法G不是LL(1)文法, 也不是任何LR类文法。(1) LL(1)判别FIRST集FOLLOW集Sa, #, aSELECT集SSaSFIRST(SaS)aSFOLLOW(S)#, a(2) SLR判别拓广文法G: (0) S S (1) SSaS (2) S FOLLOW(S) a = #, a a = a I1 , I3中的冲突无法用SLR方法解决，所以文法G不是SLR文法(3) LR判别I1 , I3中的冲突无法用LR方法解决，所以文法G不是LR文法2. 写出文法G的LR(1)项目集规范族中的I0, I

13、1, I2, I3, I4, I5 G : SS;B | B BBaA | A Ab(S) | a【解答】3. 写出文法G的LR(1)项目集规范族中的I0 G : SS；M | M MMbD | D DD(S) | 【解答】语法分析自下而上分析自测题与解答一、简答题1. 什么是活前缀？为什么引入活前缀这个概念？2. 简述自下而上语法分析过程中面临的问题是什么？二、综合题1. 文法G及其LR分析表如下, 请给出对串 baba# 的分析过程。G : (1) SDbB(2) Dd(3) D(4) Ba(5) BBba(6) B状态ACTIONGOTObda#SBD0r3S3121acc2S43r24

14、r6S5r665r46S7r17S88r5r52. 已知文法 G : AaABe| Ba BdB | (1) 构造LL(1)分析表, 并判断该文法是否为LL(1)文法? (2) 构造LR(0)项目集规范族,并判断该文法是否为LR(0)文法?(3) 按照SLR(1)方法构造分析表, 并判断该文法是否为SLR(1)文法?【解答】(1) LL(1)判别 - 不是LL(1)文法可推出FIRST集FOLLOW集ANa, FIRST(B)/,aa,d#, FIRST(Be) /#, d, eBYd, d, e,ae, aSELECT集AaABeaaABaFIRST(Ba)d, aBdBddB FOLLOW

15、(B)e, aaed#AaABeBaBaBB B BdB(2) 构造LR(0)项目集规范族拓广文法 G: (0)S A (1) AaABe (2) ABa (3) BdB (4) B存在冲突，不是LR(0)文法。(3) 构造SLR分析表 FOLLOW(B) = e, a FOLLOW(A) = #, d, e ActionGotoade#AB0S2 / r4S4r4131Acc2S2 / r4S4r4533S64r4S4r475r4S4r486r2r2r27r3r38S99r1r1r1I0, I2 : FOLLOW(B) a, d = e, a a, d = a 无法用FOLLOW集解决冲突，

16、所以不是SLR文法。或者SLR分析表含多重定义入口，所以不是SLR文法。语法分析自上而下分析自测题及解答一、简答题1. 简述语法分析的任务。2. 简述自上而下语法分析过程中面临的问题是什么？【解答】参考教材和课件中的叙述二、综合题1. 已知文法 G : AaABl | a BBb | d(1). 试写出与文法G等价的LL(1)文法G。(2). 构造G的预测分析表。(3). 对输入串aade#进行LL(1)分析。【解答】(1) G: AaT TABl | BdB预测分析表 BbB | (2) FIRST集FOLLOW集Aa#,dTa, #,dBdlBb, laldb#AAaTTTABlT T B

17、BdBBB BbB(3) 预测分析过程略2. 给出定义语言L 1na0n1ma0m | n1, m0 的LL(1)文法G。并说明G为LL(1)文法的理由。【解答】G: SABA1A0 | 1a0B1B0 | a文法G存在左公因子,所以不是LL(1)文法, 可进行变换提取左公因子,得到GG: SAB A1CCA0 | a0B1B0 | a文法G中不含空产生式, 所以只需求出FIRST集合进行LL(1)判别.FIRST(S) = 1FIRST(A) = 1FIRST(C) = 1,aFIRST(D) = 1,a构造G的预测分析表,不含多重定义入口,所以G是LL(1)文法。(也可以按照LL(1)判别

18、条件进行判别)词法分析自测题及解答一、判断对错【对 】 1. 对任何正规表达式，都存在一个等价的NFA。【错 】 2. 存在一个正规表达式，无法找到与其等价的DFA。【 错】 3. DFA的状态转换图中包含有限个状态，其中最多有一个初态，最多有一个终态。二、综合题1. 构造自动机，识别含奇数个0 且 偶数个1 的二进制数串。【解答】S: 偶数个0, 偶数个1A: 奇数个0, 偶数个1B: 奇数个0, 奇数个1C: 偶数个0, 奇数个12. 已知正规式b(a|b)*bab , 完成以下题目：(1) 试构造等价的NFA, 并将其确定化、最小化。(2) 试构造等价的正规文法。【解答】确定化：ab0:

19、 A B 11: BB 1B,C 22: B,CB,D 3B,C 23: B,DB 1B,C,E 44: B,C,EB,D 3B,C 2确定化：已经最小化 考试时还需要画出状态转换图，此处略(2). 按教材中自动机到正规文法的转换规则写出即可。（p52）3. 已知文法G, 完成以下题目: G: SdAB AaA|a BBb| (1) 文法G是否为正规文法? (2) 文法G产生的语言是什么? (3) 写出与文法G等价的正规文法（右线性文法）。【解答】(1). 不是(2). L(G)=danbm | n1, m0 (3). G : SdA AaA|aB|a BBb|b G: SdA AaA|aB

20、BBb| 以上两个文法都正确词法分析-自动机自测题及解答1. 将下图所示自动机确定化【解答】abcS: 0,1,2,3 S: 0,1,2,3A: 1,3B: 2,3A: 1,3 A: 1,3B: 2,3B: 2,3abcSSABAABB2. 将文法G转换为等价的自动机G: S0S | 1S | 1A | 0B A1C | 1 B0C | 0 C0C | 1C | 0 | 1【解答】3. 写出下图所示自动机所描述的语言(可以用正规式表示,也可以写成集合形式,也可用文字说明)【解答】100*|100*11*0|111*0化简得: 10*1*0L=10m1n0 | m0, n04. 构造自动机，识别满足以下条件的符号串：至少含有两个1, 又在任何两个1之间有偶数个0 【解答】5. 将下图所示自动机最小化【解答】0: 0,1,2,3,5 4,6,71: 0,1,3 2,5 4,6,72: 0,1 3 2,5 4,7 6