编译原理期末考试复习整理详细列出考试重点+重点例题文档格式.docx

1、A G： Aab AaAb A GS： Aab AaAb A S aAb GS： Aab |aAb | SaAb1.根据语言写出文法2.构造产生下列语言的文法（1） an bn |n0解：对应文法为G（S） = （S,a,b, S| aSb ,S） （2）anbmcp|n,m,p0对应文法为G（S） = （S,X,Y,a,b,c,SaS|X,XbX|Y,YcY|,S）（3）an#bn,|n0cn#dn |n0 对应文法为G（S） = （S,X,Y,a,b,c,d,#, SX, SY,XaXb|#,YcYd|# ,S）或者GS： SX|Y XaXb|# YcYd|#（4）w#wr# | w?0,

2、1*,wr是w的逆序排列G（S） = （S,W,R,0,1,#, SW#, W0W0|1W1|# ,S）（5）任何不是以0打头的所有奇整数所组成的集合G（S） = （S,A,B,I,J,-,0,1,2,3,4,5,6,7,8,9,SJ|IBJ,B0B|IB|e, IJ|2|4|6|8, J1|3|5|7|9,S）（6）所有偶数个0和偶数个1所组成的符号串集合对应文法为 S0A|1B|e，A0S|1C B0C|1S C1A|0B2.根据文法写语，描述其特点（必考大题2-3类型）例3 写出文法G：（1） SaSBE（2） SaBE（3） EBBE （4） aBab（5） bBbb （6） bEbe

3、（7） eEee 所产生的语言。S =aSBE =aaSBEBE = aaaBEBEBE=aaaBBEEBE=aaaBBEBEE aaaBBBEEE =aaabBBEEE =aaabbBEEE =aaabbbEEE =aaabbbeEEaaabbbeeE=aaabbbeee ，即 a3b3e3 2-3.描述语言特点（1）S10S0 SaA AbA Aa本文法构成的语言集为：L（G）=（10）nabma0n|n, m0。（2）SSS S1A0A1A0AL（G）=1n10n11n20n2 1nm0nm |n1,n2,nm0；且n1,n2,nm不全为零该语言特点是：产生的句子中，0、1个数相同，并且

4、若干相接的1后必然紧接数量相同连续的0。（3）S1ASB0A1AACBB0BCC1C0CL（G）=1p1n0n|p1,n01n0n0q|q1,n0，特点是具有1p1n0n 或1n0n0q形式，进一步，可知其具有形式1n0mn,m0,且n+m0。（4）SbAdcAAGSGAa可知，S=baSndc n0该语言特点是：产生的句子中，是以ba开头dc结尾的串,且ba、dc个数相同。（5）SaSS SaL（G）=a（2n-1）|n1可知：奇数个a3.文法的规范推导、语法树、短语、句柄（必考大题，2-7，2-11）最右推导常被称为规范推导。由规范推导所得的句型称为规范句型。语法树是对句型的推导给出的一个

5、图形表示其语法树为：2-7.解：aacb是文法GS中的句子，相应语法树是：最右推导：S=aAcB=aAcb=aacb最左推导：aacB=（2）aabacbadcd不是文法GS中的句子因为文法中的句子不可能以非终结符d结尾（3）aacbccb不是文法GS中的句子可知，aacbccb仅是文法GS的一个句型的一部分，而不是一个句子。（4）aacabcbcccaacdca不是文法GS中的句子因为终结符d后必然要跟终结符a，所以不可能出现dc这样的句子。（5）aacabcbcccaacbca不是文法GS中的句子由（1）可知：aacb可归约为S，由文法的产生式规则可知，终结符c后不可能跟非终结符S，所以不

6、可能出现caacb这样的句子。2-11.解：（1） SAB Sc AbA Aa BaSb Bc bbaacb上面推导中，下划线部分为当前句型的句柄。对应的语法树为：全部的短语：第一个a （a1）是句子bbaacb相对于非终结符A （A1） （产生式A?a）的短语（直接短语）；b1a1是句子bbaacb相对于非终结符A2的短语；b2b1a1是句子bbaacb相对于非终结符A3的短语；c是句子bbaacb相对于非终结符S1（产生式S?c）的短语（直接短语）；a2cb3是句子bbaacb相对于非终结符B的短语；b2b1a1a2cb3是句子bbaacb相对于非终结符S2的短语；注：符号的下标是为了描述

7、方便加上去的。（2）句子（b）a（a）（b）的最右推导：S（AS）（A（b）（SaA）（b）（Sa（a）（b）（b）a（a）（b）相应的语法树是：（3）解：iii*i+对应的语法树略。E =F=FP FE FE+ FEF+ FEP+ FEi+Fi+ FF*i+FP*i+ Fi*i+FFi*i+ FPi*i+Fii*i+ Pii*i+iii*i+四类文法在描述语法的能力上是依次减弱的.因而有:第三章1.给出一个正规文法 （左线性、右线性方法），写出其状态转换图（必考）1.1右线性文法写出状态转换图 （必考） 1.2状态转换图写出右线性文法G对应的右线性文法为： SaB BbC CbC|aF Fc

8、F| SAb|bC BbC|a CbC|a1.3左线性文法写出状态转换图 （必考）例1：文法G（E）为： EEa|Ba Ba|Bb 画出该文法对应的状态转换图。例2：（课堂练习）文法G（Z）为： ZU0|V1 UZ1|1 VZ0|0画出该文法对应的状态转换图。2.非确定自动机的确定化NFA N第四章第五章属性文法与属性翻译文法文法符号的语义性质称为该文法符号的语义属性（Attributes），简称为属性。属性文法AG是一个四元组：AG=（G,A,R,B）, 其中,G是已简化的CFG; A=XVA（X）是属性的有限集合; R= pPR（p）是属性定义规则的有限集; B=pPB（p）是条件的有限集

9、合，B（p）用于描述使规则R（p）有效的条件属性文法实际上就是对前后文无关文法的一种拓广逆波兰式（大题）例1:写出条件语句IF a0 THEN x:=x+1 ELSE x :=4*（x-1）的逆波兰表示解:假设BZ表示假（0）转,BR表示无条件转;再假设该条件语句的逆波兰形式的首地址为21,则得该语句的逆波兰表示为:例2:写出当型语句子 课堂练习 WHILE x+y3 DO BEGIN a:=a+3*b; b:=a+e-f*e END; 的逆波兰表示. 假设BZ,表示假（0）转,BR表示无条件转,再假设该语句的逆波兰形式的首地址为1,该语句的逆波兰表示为:四元式（大题）当op为一元运算符时，对

10、应的四元式为： （op,arg1,-,result）当op为跳转语句时，对应的四元式为： （jrop,arg1, arg2 ,地址） 如：当ab时跳转到100，表示为： （j,a, b ,地址）无条件转移语句， 对应的四元式为： （j,-,-,地址） 。例：写出a:=b*c+b*d的四元式表示。四元式如下： （*，b,c,t1） （*,b,d,t2） （+,t1,t2,t3） （:=,t3,-,a）例如，对于条件语句if ABC then S1 else S2经翻译后，可得四元式序列：1（jnz,A,-,5） 2（j,- ,-,3） 3（j,B,C,5） 4（j,-,-,p+1） 5S1相应的四元式序列 p（j,-,-,q） p+1S2相应的四元式序列 q