编译原理_NFA与正规式

在这里插入图片描述
然后,反复使用下面三条规则,逐步消去节点,直到只剩下X和Y为止
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
证明 对于任何正规式r 都有一个FA M(也就是自动机)与之等价
使用数学归纳法
在这里插入图片描述
在这里插入图片描述
step1
在这里插入图片描述
step2
在这里插入图片描述
也就是说r1和r2都成立的情况下,r中含有k个运算符有三个情况。
第一个情况,加入两个新状态q0和f0.还有新的转换关系
如图:
在这里插入图片描述
第二个情况,设q1是唯一的初态,f2是唯一的终态,添加转换关系(也就是图中的弧)
在这里插入图片描述
第三个情况,引入两个新的状态q0初态,f0终态,增加四个转换关系,这样可以将M1收尾对接
在这里插入图片描述
所以结论成立
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
再可以利用子集法将NFA确定化,变成DFA
在这里插入图片描述
为状态集重新编号,变成DFA
在这里插入图片描述

  • 2
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值