软考之有限自动机

最新推荐文章于 2024-10-01 07:18:55 发布

smallsmallwhite1206

最新推荐文章于 2024-10-01 07:18:55 发布

阅读量8.8k

点赞数 8

分类专栏：软考文章标签：确定的有限自动机

软考专栏收录该内容

2 篇文章 0 订阅

订阅专栏

什么是有限自动机？

有限自动机可分为确定的有限自动机（DFA）和不确定的有限自动机（BFA）。其中确定的有限状态自动机和不确定的有限状态自动机最大的区别是它们的转移函数不同，确定有限状态自动机对每一个可能的输入只有一个状态的转移，不确定有限状态自动机对每一个可能的输入可以有多个状态转移，接受到输入时从这多个状态转移中非确定地选择一个。

1.有限自动机识别字符串

这也是考试的一个常考点。所谓被有限自动机识别，就是依次输入字符串中的字符，判断其是否能使用有限自动机从初状态开始到终态结束，如果能，则可以被识别。

2.状态转换图

状态转换图是一个有向图，在状态转换图中，每一个结点代表一个状态，其中双圈是终态状态，每一个转换函数对应图中的一条有向弧。

3.NFA转换位DFA

此部分转载自：http://blog.csdn.net/u012359618/article/details/42456771

1. 根据上面的状态转换图写出状态转换表，什么！不知道什么是状态转换表？那你来对地方了。状态转换表是转台转换图的另外一种表示形式，如下图，左侧表头0~9表示的

是状态，上方表头a,b,c表示的是条件。其余部分表示的是后继状态

	a	b	ε
0	∅	∅	1, 7
1	∅	∅	2, 4
2	3	∅	∅
3	∅	∅	6
4	∅	5	∅
5	∅	∅	6
6	∅	∅	1, 7
7	8	∅	∅
8	∅	9	∅
9	∅	∅	∅

2. 求出ε-closure(s)，ε-closure(s)表示由状态s经由条件ε可以到达的所有状态的集合

ε-closure(0)={0,1,2,4,7}

ε-closure(1)={1,2,4}

ε-closure(2)={2}

ε-closure(3)={1,2,3,4,6,7}

ε-closure(4)={4}

ε-closure(5)={1,2,4,5,6,7}

ε-closure(6)={1,2,4,6,7}

ε-closure(7)={7}

ε-closure(8)={8}

ε-closure(9)={9}

3. 转换，下面就是真正剧情了

首先将初始态的转换闭包ε-closure(0)设为状态A，即A={0,1,2,4,7}，注意这里的状态A是DFA中的，和前面的状态0,1,2,3,4,5没有关系

接着写出状态A经过上面转换图中所有转换条件得到的状态，后继状态里面不包括自身，这里的转换条件包括a和b，注意，不包括ε，转换的一个目的就是消除ε。

ε-closure(0) = A

ε-closure(move(A,a)) = ε-closure({3,8}) = {1,2,3,4,6,7,8} = B

ε-closure(move(A,b)) = ε-closure(5) = {1,2,4,5,6,7} = C

ε-closure(move(B,a)) = ε-closure({3,8}) = {1,2,3,4,6,7,8} = B

ε-closure(move(B,b)) = ε-closure({5,9}) = {1,2,4,5,6,7,9} = D

ε-closure(move(C,a)) = ε-closure()

ε-closure(move(C,b))

ε-closure(move(D,a)) = ε-closure({3,8}) = {1,2,3,4,6,7,8} = B

ε-closure(move(D,b)) = ε-closure(5) = {1,2,4,5,6,7} = C

4. 画出DFA状态转换表（每一个状态只有一个后继状态）

	a	b
A	B	C
B	B	D
C	B	C
D	B	C

5. 画出DFA状态转换图

4.DFA的最小化

（1）消除多余状态

Ⅰ. 什么是多余状态

· 从这个状态出发没有通路到达终态

· 从开始状态出发，任何输入串也不能到达的那个状态

Ⅱ. 如何消除多余状态

删除

（2）等价状态

Ⅰ. 何为等价状态，对于两个状态s和t

· 一致性条件：状态s和t必须同时为终态或非终态

· 蔓延性条件：对于所有输入符号，状态s和状态t必须转化到等价的状态里

接下来是关于如何利用上面的两个条件来判断是否为等价状态，来一张复杂的状态转换图，是不是有点晕，哈哈

首先，画出状态转换表

看1和2，1和2都是非终态，满足条件1，1和2都可以转换成状态2，满足条件2，将两者合并。

看6和7，6和7都是终态，满足条件2，6和7都可以转化成状态6，满足条件2，将两者合并。

以此类推，当然，2和5也是可以合并的，记住最后的结果只有一种，只要满足合并后的状态最少就行

转化

1,2→A

3,4→B

5→C

6,7→D

列出转化后的转台转换表

再画出相应的状态转换图就大功告成啦~~

5.有限自动机与正规式之间的转换

来源：http://blog.csdn.net/cgzhello1/article/details/7961965

1．有限自动机转换为正规式

对于 ∑上的NFAM，可以构造一个 ∑上的正规式R，使得L(R)=L(M)。拓广状态转换图的概念，令每条弧可用一个正规式作标记。为 ∑上的NFA M构造相应的正规式R，分为如下两步：

（1）在M的状态转换图中加两个节点，一个x节点，一个y节点。从x节点到NFA M的初始状态节点引一条弧并用 ε标记，从NFA M的所有终态节点到y节点引一条弧并用 ε标记。形成一个与 M等价的M'，M'只有一个初态x和一个终态y。

（2）按下面的方法逐步消去M'中除x和y的所有节点。在消除节点的过程中，用正规式来标记弧，最后节点x和y之间弧上的标记就是所求的正规式。消除节点的规则如图2-6所示。

图 2-6 有限自动机到正规式的转换规则示意图

2．正规式转换为有限自动机

同样地，对于 ∑上的每个正规式R，可以构造一个E上的NFA M，使得L(M)=L(R)。通过对正规式R进行分裂并加入新的节点，逐步把图转变成每条弧上的标记是E上的一个字符或 ε。转换规则如图2-7所示。

图 2-7 正规式到有限自动机的转换规则示意图

常见题目：

题目给定一正规式，要求给出其NFA、DFA或最简DFA。

题目给定一用状态图表示的NFA，要求给出其对应的DFA或最简DFA形式。

题目给定一NFA、DFA或最简DFA，要求给出其对应的正规式。

题目给定一正规集，要求给出其相应的DFA。

题目给定一用自然语言描述的正规集，要求给出其相应的正规式表示形式

例题：（来源见水印）