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

3 FA 语言与自动机导论.ppt

  1. 1、本文档共102页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 习题(p126) 1. 已知DFA M1与M2如图所示。 (1)请分别给出它们在处理字符串1011001的过程中经过的状态序列。 (2)请给出它们的形式描述。 图3-18 两个不同的DFA * 习题(p126) 2. 构造识别下列语言的DFA (画出状态转移图)。 (1){0,1}* (2){0,1}+ (3){x|x ∈{0,1}+且x中不含形如00的子串}。 (4){x|x ∈{0,1}*且x中不含形如00的子串}。 (5){x|x ∈{0,1}+且x中含形如10110的子串}。 (6){x|x ∈{0,1} +且x中不含形如10110的子串}。 (7) {x | x? {0,1}*,且当把x看成二进制数时,x模5与3同余,要求当x为0时,|x|=1,且x≠0时,x的首字符为1}。 * 习题(p126) 2. 构造识别下列语言的DFA (画出状态转移图)。 (8){x|x ∈{0,1}+且x的第10个字符是1}。 (9){x|x ∈{0,1} +且x以0开头,以1结尾}。 (10){x|x ∈{0,1}+且x中至少含两个1}。 (11){x | x? {0,1}*,且如果x以1结尾,则它的长度为偶数;如果x以0结尾,则它的长度为奇数}。 (12){x|x 是10进制非负实数}。 (13) ? (14){?} * 习题(p126) 3. 请给出上题中各个DFA的每个状态q对应的集合set(q)。 5. 试区别FA中的陷阱状态和不可达状态。 答案: (1)陷阱状态(p97):指在其它状态下发现输入串不可能是该FA所识别的句子时所进入的状态。FA一旦进入该状态qt,就无法离开。并在此状态下,读完输入串中剩余的字符。 (2)不可达状态(p108):指从FA的开始状态出发,不可能到达的状态。就状态转换图来说,就是不存在从开始状态对应的顶点出发,到达该状态对应顶点的路径。 * 习题(p127) 6. 给定DFA M的状态转移图3-19。 证明 L(M)={x|x∈ {0,1}*且x中0和1的个数相等且交替出现}。 图3-19 题6的DFA * 习题(p127) 10. 构造识别下列语言的NFA (画出状态转移图)。 (1) {x|x ∈{0,1}+且x中不含形如00的子串}。 (2){x|x ∈{0,1}+且x中含形如10110的子串}。 (3) {x|x ∈{0,1} +且x中不含形如10110的子串}。 (4){x|x ∈{0,1} +且x的倒数第10个字符是1,且以01结尾。 (5){x|x ∈{0,1} +且x以0开头,以1结尾}。 * 习题(p127) (6){x|x ∈{0,1}+且x中至少含两个1}。 (7) {x | x? {0,1}*,且如果x以1结尾,则它的长度为偶数;如果x以0结尾,则它的长度为奇数}。 (8){x|x ∈{0,1}+且x的首字符和尾字符相等}。 (9) { xwxT| x,w∈(0,1)+, xT 代表x的逆} * 习题(p126) 20. 构造图3-20所给DFA对应的右线性文法。 21. 构造图3-20所给DFA对应的左线性文法。 图3-20 两个不同的DFA * * * * * * * * * * * * * * * * * * * * * * * * * FA与正则文法的关系 定理:一文法G是正则的,当且仅当存在一个FA,使 L(G)=L(M) 证明: (1)已知G是正则文法,则存在一个FAM,使 L(G)=L(M) 即:正则语言可以由FA接受。 (2) 已知一个FAM(DFA),则存在一个右线性文法G,使 L(G)=L(M) 即: FA接受的语言是正则语言。 * FA与正则文法的关系 证明: (1)已知G是正则文法,则存在一个FAM,使 L(G)=L(M) 若x∈∑*, x∈L(G) ? x∈L(M) 已知: G=(N,∑,P, S) 不失一般性,设G为右线性文法 现构造一个FAM如下:M=( Q,∑,δ,q0, F ) 用文法的非终极符作为状态,开始符号作为开始状态。再增加一个新的符号R,作为终止状态。即: Q=N∪

文档评论(0)

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

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

1亿VIP精品文档

相关文档