本文详细介绍了从非确定有限自动机（NFA）转换为确定有限自动机（DFA）的过程，包括子集构造法、状态的重新命名以及等价状态的合并。通过一致性与蔓延性条件判断等价状态，并探讨了求同法和求异法在状态合并中的应用。
转换，化简
子集构造
子集构造法：从初始状态开始接受字符后转入的新的状态集合作为下一个状态，以此类推，重复就跳过，NFA到DFA的本质就是为了方便快捷，于是NFA里的每一个状态都是DFA状态的子集。（如果初始状态有连接空边则把空边连向的状态也合进来）把列表里的状态集合命名成新的状态
从左边一列命名，ABCDEFG之类的，也可以是1234567，然后左边的按照已经命名的新名字替换就行了。得到新的状态转换表，没难度。合并等价状态
在新得到的状态转换表上操作。数字电路还记得不？哇，像的一批，大家都是状态转换图，就是那个隐含表法，但这个叫求同法。求同法有两个条件一致性：状态s和t必须同时为接受状态或者非接受状态一般判别的是普通态和终态，这两个是不符合一致性条件的蔓延性：对于所有的输入符号，状态s和t必须转移到等价状态中重点是“所有“以及”等价状态“，所有是一定要所有输入符号，而等价状态的坑在如果ab等价cd等价，你在算等价的时候就要把他们当一个等价来算。
首先是第一步
状态转换表
最低0.47元/天 解锁文章
扫一扫
1955
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
