网站大量收购独家精品文档,联系QQ:2885784924

编译原理答案详解.docx

  1. 1、本文档共166页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第二章 习题解答 1.(1)答:26*26=676 ?(2)答:26*10=260 ?(3)答:{a,b,c,...,z,a0,a1,...,a9,aa,...,az,...,zz,a00,a01,...,zzz},共26+26*36+26*36*36=34658个 2.构造产生下列语言的文法 ?(1){anbn|n≥0} ??解:对应文法为G(S) = ({S},{a,b},{ S→ε| aSb },S) ?(2){anbmcp|n,m,p≥0} ??解:对应文法为G(S) = ({S,X,Y},{a,b,c},{S→aS|X,X→bX|Y,Y→cY|ε},S) ?(3){an # bn|n≥0}∪{cn # dn|n≥0} ??解:对应文法为G(S) = ({S,X,Y},{a,b,c,d,#}, {S→X, S→Y,X→aXb|#,Y→cYd|# },S) ?(4){w#wr# | w?{0,1}*,wr是w的逆序排列} ??解:G(S) = ({S,W,R},{0,1,#}, {S→W#, W→0W0|1W1|# },S) ?(5)任何不是以0打头的所有奇整数所组成的集合 ??解:G(S) = ({S,A,B,I,J},{-,0,1,2,3,4,5,6,7,8,9},{S→J|IBJ,B→0B|IB|e, I→J|2|4|6|8, Jà1|3|5|7|9},S) ?(6)所有偶数个0和偶数个1所组成的符号串集合 ??解:对应文法为 S→0A|1B|e,A→0S|1C B→0C|1S C→1A|0B 3.描述语言特点 ?(1)S→10S0S→aAA→bAA→a ??解:本文法构成的语言集为:L(G)={(10)nabma0n|n, m≥0}。 ?(2)S→SS S→1A0A→1A0A→ε ??解:L(G)={1n10n11n20n2 … 1nm0nm |n1,n2,…,nm≥0;且n1,n2,…nm不全为零}该语言特点是:产生的句子中,0、1个数相同,并且若干相接的1后必然紧接数量相同连续的0。 ?(3)S→1AS→B0A→1AA→CB→B0B→CC→1C0C→ε ??解:本文法构成的语言集为:L(G)={1p1n0n|p≥1,n≥0}∪{1n0n0q|q≥1,n≥0},特点是具有1p1n0n 或1n0n0q形式,进一步,可知其具有形式1n0mn,m≥0,且n+m0。 ?(4)S→bAdcA→AGSG→εA→a ??解:可知,S=…=baSndc n≥0 ??该语言特点是:产生的句子中,是以ba开头dc结尾的串,且ba、dc个数相同。 ?(5)S→aSSS→a ??解:L(G)={a(2n-1)|n≥1}可知:奇数个a 4.解:此文法产生的语言是:以终结符a1 、a2 …an 为运算对象,以∧、∨、~为运算符,以[、]为分隔符的布尔表达式串 5. ??5.1解:由于此文法包含以下规则:AA→e,所以此文法是0型文法。 ?????5.2证明:略 6.解: (1)最左推导: 程序T分程序T标号:分程序TL:分程序 TL:标号:分程序 T L:L:分程序 T L:L:无标号分程序 T L:L:分程序首部;复合尾部 T L:L:分程序首部;说明;复合尾部 T L:L:begin说明;说明;复合尾部 T L:L:begin d;说明;复合尾部 T L:L:begin d;d;复合尾部 T L:L:begin d;d;语句;复合尾部 T L:L:begin d;d;s;复合尾部. T L:L:begin d;d;s;语句 end T L:L:begin d;d;s;s end 最右推导: 程序T分程序T标号:分程序 T标号:标号:分程序 T标号:标号:无标号分程序 T标号:标号:分程序首部;复合尾部 T标号:标号:分程序首部;语句;复合尾部 T标号:标号:分程序首部;语句;语句;end T标号:标号:分程序首部;语句;s;end T标号:标号:分程序首部;s;s;end T标号:标号:分程序首部;说明;s;s;end T标号:标号:分程序首部;d;s;s;end T标号:标号:begin 说明;d;s;s;end T标号:标号:begin d;d;s;s;end T标号: L:begin d;d;s;s;end TL:L:begin d;d;s;s;end (2)句子L:L:begin d;d;s;s end的相应语法树是: 7.解: aacb是文法G[S]中的句子,相应语法树是: 最右推导:S=aAcB=aAcb=aacb 最左推导:S=aAcB=aacB=aacb (2)aabacbadcd不是文法G[S]中的句子 因为文法中的句子不可能以非终结符d结尾 (3)aacbccb不是文法G[S]中的句子 可知,aacbccb仅是文法

文档评论(0)

过各自的生活 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档