编译原理期末考试习题及答案文档格式.doc

1、 （E） = （E+T） = （E+F） = （E+i） = （T+i） = （T*F+i）（2） 语法树（2分）（3）（4分） 短语： （T*F+i） ，T*F+i ，T*F ， i 直接短语：T*F ， i 句柄：T*F 三. 证明文法 G（S） ： S SaS | 是二义的。（6分）句子 aaa对应的两颗语法树为：因此，文法是二义文法四.给定正规文法G（S）： （1） S Sa | Ab |b（2） A Sa 请构造与之等价的DFA。对应的NFA为： （6分）状态转换表：abFSS,A五. 构造识别正规语言b*a（bb*a）*b* 最小的DFA（要求写出求解过程）。（15分）（1）对应的

2、NFA（5分） （2）将（1）所得的NFA确定化：（5分）01，31,32，32,3六. 已知文法G（S） :（1） S | a | （T） T,S | S试：（1）消除文法的左递归； （2）构造相应的first 和 follow 集合。（1）消除文法的左递归后文法 G（S）为： （1） S ST | S（3） T ,ST | （4分） （2）（6分）firstfollowSa （# , ）T）T, 七. 已知文法G（S） : SiA | A A+B | B（3） B A* | （试构造非终止符的firstVT和lastVT集合。（10分）firstVTlastVTi , + , * , （

3、i , + , * , （A+ , * , （B* , （Follow#a,b,#八.已知文法G（S） : B B（2） B a B b 的follow集合如表：（1）给出该文法的LR（0）项目集规范族划分； （2）填写相应的SLR（1）的分析表。（1）LR（0）项目集规范族划分（8分）I0S .SS .BBB .aB .b- I1 I2- I3 I4a I1 S.I2 B.B I5I3 a.B I6I4 b.I5 BB.I6 aB. （2） SLR（1）分析表（7分）状态ActionGotoS3S412Acc5364R3R1R2九设某语言的not-then-else 语句的语法形式为： no

4、t E then S1 其语义解释为： 针对自上而下的语法分析器，（1） 分段产生式；（3分）（2） 写出每个产生式对应的语义动作。（7分）（1）分段产生式（3分）及语义动作（7分） （1） R not E then Backpatch（$2.FC ，nxq ）;$.chain = $2.Tc （2） S R S1 Backpatch（$2.chain ， nxq ）1. 乔母斯基定义的2型文法（上下文无关文法）产生式形式 A,AVn, V+。2.词法分析程序的输入是 字符串 ，其输出是 单词符号 。3 算符有限分析方法每次都是对 最左素短语 进行规约。型为 B aB. 的LR（0）项目被称为

5、 规约 项目。4、写出x:=b*（d-e）/（c-d）+e的逆波兰式_xbde-*cd-/e+:=_。5、常用的两种动态存贮分配办法是_栈式存储 分配 和 堆式存储_分配。二已知文法G（S） : 试：（1）写出句型（a,（a,a）的最左推到并画出语法树。 （2）写出上述句子的短语，直接短语和句柄。（1）最左推到（2分） S = （T） = （T,S）= （S,S） = （a,S） = （a,（T） = （a,（T,S） = （a,（S,S） = （a,（a,S） = （a,（a,a）（a,（a,a） ，a,（a,a） ， （a,a） ， a,a , a 三证明文法 G（S） ： aSb | S

6、b | b 是二义的。句子 aabbbb对应的两颗语法树为： （1） S aA （2） A aB | bA （3）B aA | b对应的DFA为：（6分） 五. 构造识别正规语言（ab*|a）* 最小的DFA（要求写出求解过程）。（1）对应的NFA （5分）11,2 （5分） ,ST |求first和follow集合，构造改文法的LL（1）分析表。文法相应的first 和 follow 集合 （5分）其LL（1）分析表如下：非终止符的firstVT和lastVT集合如下:试构造算符的优先关系表。i+（*I八已知文法G（S） : a | aAb | b | bBa 1A0 | 1B0 | 求 ：该文法的LR（0）项目集规范族。九设某语言的DO-while 语句的语法形式为： S do S1 while E 其语义解释为：（1）分段产生式（3分） G（S） : （1） R do （2） U R S1 while （3） S U E（2） 产生式对应的语义动作（7分） do $.loop = nxq R S1 while $.loop = $1.loop U E backpatch（$2.FC ， $1.loop ）； Backpatch（$2.TC ， nxq ） 8