转换,化简
子集构造
子集构造法:从初始状态开始接受字符后转入的新的状态集合作为下一个状态,以此类推,重复就跳过,NFA到DFA的本质就是为了方便快捷,于是NFA里的每一个状态都是DFA状态的子集。(如果初始状态有连接空边则把空边连向的状态也合进来)把列表里的状态集合命名成新的状态
从左边一列命名,ABCDEFG之类的,也可以是1234567,然后左边的按照已经命名的新名字替换就行了。得到新的状态转换表,没难度。合并等价状态
在新得到的状态转换表上操作。数字电路还记得不?哇,像的一批,大家都是状态转换图,就是那个隐含表法,但这个叫求同法。求同法有两个条件一致性:状态s和t必须同时为接受状态或者非接受状态一般判别的是普通态和终态,这两个是不符合一致性条件的蔓延性:对于所有的输入符号,状态s和t必须转移到等价状态中重点是“所有“以及”等价状态“,所有是一定要所有输入符号,而等价状态的坑在如果ab等价cd等价,你在算等价的时候就要把他们当一个等价来算。
首先是第一步
状态转换表
重新命名
等价状态合并(求同法)
条件一:一致性
条件二:蔓延性
这个判断的时候的坑已经说过了,这个题中DG是符合条件的所以判断后面DF。等价状态的定义是输出相同且次态等价,次太等价又有三种情况:次太循环,次太交叉,次太相同。容易判断DF也是等价的(次态交叉)。后面的过程,emmmmm不写了,还有其他科目。
补充说求异法
比求同法简单很多。
首先分为两个集合,接受态和非接受态。
然后再在这两个集合里按照输入来得输出,判断输出是否是原来集合的子集,是则不用继续了,不是则将相异的那一部分分出来做一个新的集合如此反复,知道停止。比求同法要简单些的。