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

编译原理李建中习题答案第章.doc

  1. 1、本文档共20页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
编译原理李建中习题答案第章

练 习 3.1题 3.2题 3.3题 3.4题 3.5题 3.6题 3.7题 3.8题 3.9题 3.10题 3.11题 3.12题 3.13题 3.14题 3.1 从供选择的答案中,选出应填入下面叙述中 ?内的最确切的解答。 有限状态自动机可用五元组(VT,Q,δ,q0,Q)来描述,设有一有限状态自动机M的定义如下: VT={0,1},Q={q0,q1,q2},Qf={q2},δ的定义为: δ(q0,0)=q1 δ(q1,0)=q2 δ(q2,1)=q2 δ(q2,0)=q2 M是一个A有限状态自动机,它所对应的状态转换图为B,它所能接受的语言可以用正则表达式表示为C。其含义为D。 供选择的答案: A: ①歧义的 ②非歧义的 ③确定的 ④非确定的 B: C: ①(0|1)* ②00(0|1)* ③(0|1)*00 ④0(0|1)*0 D: ①由0和1所组成的符号串的集合 ②以0为头符号和尾符号、由0和1所组成的符号串的集合 ③以两个0结束的,由0和1所组成的符号串的集合 ④以两个0开始的,由0和1所组成的符号串的集合 3.2 是非判断,对下面的陈述,正确的在陈述后的括号内写T,否则写F。 (1)有穷自动机接受的语言是正则语言。() (2)若r1和r2是Σ上的正规式,则r1|r2也是。() (3)设M是一个NFA,并且L(M)={x,y,z},则M的状态数至少为4个。() (4)令Σ={a,b},则Σ上所有以b为首的字构成的正规集的正规式为b*(a|b)*。() (5)对任何一个NFA M,都存在一个DFA M,使得L(M)=L(M)。() (6)对一个右线性文法G,必存在一个左线性文法G,使得L(G)=L(G),反之亦然。() 3.3 描述下列各正规表达式所表示的语言。 (1) 0(0|1)*0 (2) ((ε|0)1*)* (3) (0|1)*0(0|1)(0|1) (4) 0*10*10*10* (5) (00|11)*((01|10)(00|11)*(01|10)(00|11)*)* 3.4 对于下列语言分别写出它们的正规表达式。 (1) 英文字母组成的所有符号串,要求符号串中顺序包含五个元音。 (2) 英文字母组成的所有符号串,要求符号串中的字母依照词典顺序排列。 (3) Σ={0,1}上的含偶数个1的所有串。 (4) Σ={0,1}上的含奇数个1的所有串。 (5) 具有偶数个0和奇数个1的有0和1组成的符号串的全体。 (6) 不包含子串011的由0和1组成的符号串的全体。 (7) 由0和1组成的符号串,把它看成二进制数,能被3整除的符号串的全体。 3.5 人运狼、羊、菜过河,一次运一件,不让羊吃掉菜,也不让狼吃掉羊,画出渡河的状态转换图。可否将其抽象为一个有限自动机。 3.6 给出接受下列在字母表{0,1}上的语言的DFA。 (1) 所有以00结束的符号串的集合。 (2) 所有具有3个0的符号串的集合。 3.7构造等价于下列正规表达式的有限自动机。 (1)10|(0|11)0*1 (2)((0|1)*|(11))* 3.8 给定右线性文法G: S-0S|1S|1A|0B A-1C|1 B-0C|0 C-0C|1C|0|1 试求一个于G等价的左线性文法G 3.9 试对于下列正规表达式使用证明定理3。5的构造算法构造非确定的有限自动机。请给出每个自动机在处理输入符号串ababbab的过程中的动作序列。 (1) (a|b)* (2) (a*|b*)* (3) ((ε|a)b*)* (4) (a|b)*abb(a|b)* 3.10 转换练习3.9中的每个 NFA 为 DFA 。并给出每个DFA在处理输入符号串ababbab的过程中的动作序列。 3.11 试把练习3.10中得到的DFA的状态给以最小化。 3.12 我们可以证明两个正规表达式是等价的,如果它们的最小状态DFA是相同的(除了状态的名字以外)。利用这一结论,请说明下列正规表达式都是等价的。 (1) (a|b)* (2) (a*|b*)* (3) ((ε|a)b*)* 3.13 对于下列正规表达式构造最小状态的DFA。 (1) (a|b)*a(a|b) (2) (a}b)*a(a|b)(a|b) (3) (c|b)*a(a|b)(a|b)(a|b) 3.14 程序练习,协同学习。 (1)写出Pascal语言的单词符号的正规表达式; (2)设计出词法分析器的输出; (3)画出识别的DFA M; (4)用C或Pascal或另外某种程序语言实现一个Pascal的词法分析器; (5)使用Lex实现一个Pas

文档评论(0)

linsspace + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档