长安大学《编译原理》习题4.docxVIP

下载本文档

49
0
约1.07千字
约 4页
2018-01-31 发布于浙江
举报
版权申诉

长安大学《编译原理》习题4.docx

1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

习题4.2.1：考虑上下文无关文法：以及串给出这个串的一个最左推导给出这个串的一个最右推导给出这个串的一颗语法分析树这个文法是否是二义性的？证明你的回答不是二义性的，不存在两棵不同的分析树描述这个文法生成的语言只含有+和*，操作数均为a的算数表达式的后序遍历习题4.4.3：计算练习4.2.1的文法的FIRST 和 FOLLOW 集合FIRST( S) = aFOLLOW( S ) = $a+*习题4.6.5：说明下面的文法：是LL( 1 )的，但不是 SLR( 1 )的证明：“ab” 和“ba”可以由 a 或者 b 决定, 故 S( 1 ) 是 LL( 1 )在SLR 中，我们不能分解A或者B，这是一个规约，故 S 不是 SLR( 1 )习题4.6.6：说明下面文法是SLR( 1 )，而不是LL( 1 )的。证明：可以求得FIRST( SA ) = FIRST( A ) = { a } , 故该文法不是 LL( 1 )文法构建语法分析表如下(FOLLOW(A)=FOLLOW(S)={a,$})状态ACTIONGOTOA$SA0S3121S3acc42R2R23R3R3故该文法是SLR(1)文法习题4.7.4：说明下面的文法是LALR(1)的，但不是SLR( 1 )的构建SLR语法分析表如下(FOLLOW(A)={a,c})状态ACTIONGOTOAbcd$SA0S3S4121acc2S53S764R5S8|R55R16S97S10|R5R58R39R210R4可以看到在图中存在二义性的条目，故该文法不是SLR(1)文法构造LALR(1)分析表如下状态ACTIONGOTOabcd$SA0S3S4121acc2S53S764R5S8R55R16S97S10R58R39R210R4可见该分析表中不存在二义性的条目，故该文法是LALR(1)文法习题4.7.5：说明下面的文法是LR( 1 )的，但不是LALR( 1 )的证明：构造LR(1)分析表如下状态ACTIONGOTOAbCd$SAB0S3S51241acc2S63S9784S105R5R66R17S118S129R6R510R311R212R4可见该分析表中不存在二义性的条目，故该文法是LR(1)文法构造LALR(1)语法分析表如下状态ACTIONGOTOabcd$SAB0S3S591241acc2S63S9784S95R5|R6R5|R66R17S108S119R310R211R4可见该语法分析表中存在有二义性的条目，故该文法不是LALR(1)文法