- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
精品文档
试卷(三):
一、 选择
1.下面说法正确的是: A
A 一个正规文法也一定是二型文法
B 一个二型文法也一定能有一个等价的正规文法
2.文法 G[A] :A→ b A → AB B → Ab B →a是( A ) :
A 二型文法
B 正规文法
3.下面说法正确的是 ( B ):
A lex 是一个词法分析器
B yacc 是一个语法分析器的生成器
4.一个 LR (1)文法合并同心集后 ,如果不是 LALR(1) 文法必定存在 ( B ):
A 移进 -- 归约冲突
B 归约 -- 归约冲突
5 PL/0 语言编译程序使用递归子程序法进行语法分析,他的文法必须满足 (A ) :
A LL (1)文法
B SLR(1) 文法
二、 问答题
问答第 1 题
(6 分)试对 repeat x:=b until ba or (ba and b=d) 的四元式序列给出第四区段应回填的指
令地址,并指出真假出口链和链头及回填的次序。
回填的次序
应回填的值 真链头 E.true=
(1) 真出口链 ( )
x:= b
(2) ( )
if ba goto ( ) 真出口链 ( )
(3) ( ) ( )
goto
(4) if ba goto ( ) ( ) 假链头 E.false=
(5) goto ( ) ( ) 假出口链 ( )
(6) if b=d goto ( ) ( )
(7) goto ( ) ( )
(8) ...
解:
应回填的值 回填的次序 真链头 E.true= 6
(1) x:= b
精品文档
精品文档
(2) if ba goto ( 8 ) ( 6 ) 真出口链 ( 6,2 )
(3) goto ( 4 ) ( 1 )
(4) if ba goto ( 6 ) ( 2 ) 假链头 E.false= 7
(5) goto ( 1 ) ( 4 ) 假出口链 ( 7,5 )
(6) if b=d goto ( 8 ) ( 5 )
(7) goto ( 1 ) ( 3 )
问答第 2题
(10分)某语言的拓广文法 G′为:
(0) S ′→S
(1) S → Db|B
(2) D → d| ε
(3) B → Ba| ε
证明 G 不是 LR(0) 文法而是 SLR(1) 文法,请给出 SLR(1) 分析表。
解:
拓广文法 G ,增加产生式 S →S
在项目集 I0 中:
有移进项目 D →·d
归约项目 D →·和 B →·
存在移进 -归约和归约 -归约冲突,所以 G 不是 LR(0) 文法。
若产生式排序为:
(0) S →S
(1) S → Db
(2) S → B
(3) D → d
(4) D →ε
文档评论(0)