




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、0m=( , ,)g=(, ,)ntqf q zvvs p自动机 正则文法 p56 第2-24(1)将正规式:(a|b)*a(a|b)转换为最简的确定有限自动机。【解】先转换为nfa:qs012qzaa,babiiaibqs,0,10,1,20,10,1,20,1,2,qz0,1,qz0,10,1,20,10,1,2,qz0,1,2,qz0,1,qz0,1,qz0,1,20,1nfa的确定化表qab0121342123*344*12重命名后的dfaqab0101232*233*10化简后的dfa左线性左线性文法和右线性右线性文法之间存在一定关系。l 一个左线性文法gl存在一个等价的右线性文法g
2、r。l 一个右线性文法gr存在一个等价的左线性文法gl 。可见,可见,gl和和gr是等价的,也就是说,给定一个右线性是等价的,也就是说,给定一个右线性文法可以构造对应的左线性文法。同样,给一个左线性文法可以构造对应的左线性文法。同样,给一个左线性文法也可以构造一个右线性文法。文法也可以构造一个右线性文法。上述等价关系规定开始符号s不能出现在规则左部不能出现在规则左部。例:例: 设左线性文法 (, s,),其中: =a,b,s =0,1 p: s a0|b1 a 0|1 b 0|1则l(gl)=00,01,10,11。则右线性文法 (,s),其中:=a,b,s=0,1p: s 0a|1a |0b
3、 |1ba 0b 1则l(gr)=00,01,10,11。所以l(gl)= l(gr),说明左线性文法 和右线性文法 是等价的。v()合并)合并v符号合并符号合并转换函数初态nfa m (s,s0,f)ss的子集多值映射s0 s非空初态dfa m (s,s0,f)ss单值映射s0s唯一的初态nfa允许允许边出现边出现()合并:)合并:如果有s1s2,则把s2状态合并到s1状态。例1:nfa转换成dfa (符号合并)例2:设计一个dfa,其输入字母表是0,1,它能接受以0开始,以1结尾的所有序列。aa3cb012a01,2cb30,10zcsab1解:解:根据题意,得出相应的正规式:0(0|1)
4、*1 得状态转换图(nfa)如下:01statedfa statess,abcsabcs,abcs,abcabcbcbcz abc,bc,bczs,abc,bc,bczbcbcbcz bc,bczs,abc,bc,bczbczbcbcz bczs,abc,bc,bcz(s,)=;(s,0)=?(s,0)=a; (a,)=b; (b,)=c; (c,)=; 0,10zcsab101statedfa statess,abcsabcs,abcs,abcabcbcbcz abc,bc,bczs,abc,bc,bczbcbcbcz bc,bczs,abc,bc,bczbczbcbcz bczs,abc,
5、bc,bcz 0,10zcsab1(abc,0)初态初态(s,0)得状态转换图(dfa)如下:000sca101b1000sbczabc101bc1在dfa中,所有含有nfa的终态的状态作为dfa的终态dfa m=( s,a,b,c , 0,1 , , s , c )其中其中如上(不可省略)初态初态v将所有dfa的终态与其它状态划分成两个子集g1,g2;v分别从两个子集g1,g2中寻找等价状态进行化简。v将所有dfa的终态与其它状态划分成两个子集例2:设计一个dfa,其输入字母表是0,1,它能接受以0开始,以1结尾的所有序列。化简01sabcabcbcbczbcbcbczbczbcbcz01sabcabcabcbczbczabcbczdfa m=( s,abc,bcz , 0,1
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 【正版授权】 ISO 23117-2:2025 EN Agricultural and forestry machinery - Unmanned aerial spraying systems - Part 2: Test methods to assess the horizontal transverse spray distribution
- 【正版授权】 ISO 13227:2025 EN Petroleum products and lubricants - Rheological properties of lubricating greases - Determination of flow point using an oscillatory rheometer with a paral
- 【正版授权】 IEC 60335-2-3:2002+AMD1:2004 CSV FR-D Household and similar electrical appliances - Safety - Part 2-3: Particular requirements for electric irons
- 【正版授权】 IEC 61008-2-1:2024 EN-FR Residual current operated circuit-breakers without integral overcurrent protection for household and similar uses (RCCBs) - Part 2-1: RCCBs accordin
- 【正版授权】 IEC 60092-378:2024 EN Electrical installations in ships - Part 378: Optical fiber cables
- 下半年工作方案2025年参考演讲稿
- 2025年宣扬部的个人工作方案
- 小学六年级主题班会教案2025年班会方案
- 2025年中学老师物理教学方案
- 2025年事业单位财务一月工作方案
- 2025年江苏省安全员B证考试题库附答案
- 科级试用期满工作总结(4篇)
- 历史-安徽省蚌埠市2025届高三年级第二次教学质量检查考试(蚌埠二模)试题和答案
- 2025年从大模型、智能体到复杂AI应用系统的构建报告-以产业大脑为例-浙江大学(肖俊)
- 厂房电费收租合同范例
- 2024年南京市事业单位专项招聘退役大学生士兵笔试真题
- 2025年浙江省金华市中考一模数学模拟试题(含答案)
- 增资扩股方案模板
- 2024年国家发展和改革委员会直属单位招聘考试真题
- 鹅产业绿色循环发展-深度研究
- “三新”背景下高中文言文教学难点突破策略
评论
0/150
提交评论