编译原理——确定有穷自动机的化简-分割法

最新推荐文章于 2022-12-10 15:33:07 发布

han1254

最新推荐文章于 2022-12-10 15:33:07 发布

阅读量6.2k

点赞数 89

文章标签：其他

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/qq_42898299/article/details/108909388

版权

文章目录

3.4.4 确定有穷自动机的化简

3.4.4 确定有穷自动机的化简

1.化简的有穷自动机的定义

一个没有多余状态并且没有两个状态是等价的有穷自动机。

多余状态（无用状态）：从该自动机的开始状态出发，任何输入串也不能到达的那个状态

等价状态：

两个状态必须同时为可接受状态（终态）或者不可接受状态（非终态）——一致性条件
对于所有的输入符号，两个状态接受相同的符号必须转换到等价的状态——蔓延性条件

2.分割法

在这里插入图片描述

我们首先将其分为终态和非终态

在这里插入图片描述

$P_0$ = ({1, 2, 3, 4}, {5, 6, 7})

接下来我们尝试先对{1, 2, 3, 4}这个子集进行划分

$1\stackrel{a}{\longrightarrow}6$ ； $1\stackrel{b}{\longrightarrow}3$

$2\stackrel{a}{\longrightarrow}7$ ； $2\stackrel{b}{\longrightarrow}3$

$3\stackrel{a}{\longrightarrow}1$ ； $3\stackrel{b}{\longrightarrow}5$

$4\stackrel{a}{\longrightarrow}4$ ； $4\stackrel{b}{\longrightarrow}6$

首先我们看如果输入a的话，1和2的输出为{5，6，7}这个集合中的元素，而3和4则仍是本集合的元素，所以根据等价状态的第二性质，我们可以将1、2 与3、4分割开。

在这里插入图片描述

$P_1$ = ({1, 2}, {3, 4}, {5, 6, 7})

对于目前这个新的集合来说，我们继续划分每个子集。首先从{1,2}开始

$1\stackrel{a}{\longrightarrow}6$ ； $1\stackrel{b}{\longrightarrow}3$

$2\stackrel{a}{\longrightarrow}7$ ； $2\stackrel{b}{\longrightarrow}3$

我们无论是对1，2输入a还是输入b，它们的输出都属于同一个集合——6、7属于{5,6,7}这个终态集合，3属于{3,4}这个集合，所以{1,2}这个集合很完美，无法划分（即状态无法区分），它俩好得跟一个人似的。

在这里插入图片描述

那么我们继续看{3,4}

$3\stackrel{a}{\longrightarrow}1$ ； $3\stackrel{b}{\longrightarrow}5$

$4\stackrel{a}{\longrightarrow}4$ ； $4\stackrel{b}{\longrightarrow}6$

哦，我们看到，当输入a的时候，3输出的是1，属于{1,2}集合；4则输出的是4，属于{3,4}集合，所以3和4的状态可区分。

在这里插入图片描述

那么更新我们的状态图

在这里插入图片描述

更新P

$P_2$ = ({1,2}, {3}, {4}, {5, 6, 7})

很明显我们的故事还没结束，还有{5,6,7}这个集合

$5\stackrel{a}{\longrightarrow}7$ ； $5\stackrel{b}{\longrightarrow}3$

$6\stackrel{a}{\longrightarrow}4$ ； $6\stackrel{b}{\longrightarrow}1$

$7\stackrel{a}{\longrightarrow}4$ ； $7\stackrel{b}{\longrightarrow}2$

很明显，在输入a的时候，5的输出为7即{5,6,7} 本集合内的，而6、7则是输出的同一个集合。二话不说，分家！

在这里插入图片描述

$P_3$ = ({1,2}, {3}, {4}, {5}, {6, 7})

这时候，还剩{6,7}，如果你上面看明白了，那么到这里你也就懂了，6、7是不可区分的状态。

分割法到此结束……

……不还有最后一步，把所有的不可区分状态统统用其中一个状态来表示就行。

比如1、2，我们直接用1来代替就行，把2所有的输入和输出的压力都放到1身上

在这里插入图片描述

（ $1\stackrel{b}{\longrightarrow}3$ ， $2\stackrel{b}{\longrightarrow}3$ 所以这两个线用一个就行）

然后我们发现6、7可以直接用6代替

在这里插入图片描述

把虚线收拾干净再看看

在这里插入图片描述

在这里插入图片描述

3.The End

在这里插入图片描述

关注

89
点赞
踩
140

收藏

觉得还不错? 一键收藏
20
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

评论 20

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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