RGFARE等相互之间的转换_第1页
RGFARE等相互之间的转换_第2页
RGFARE等相互之间的转换_第3页
RGFARE等相互之间的转换_第4页
RGFARE等相互之间的转换_第5页
已阅读5页,还剩37页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论