DFA确定化和最小化

从正规式开始

一、先将正规式转换成NFA

通过下面的对应法则将正规式转换成NFA

img

例如:

img

二、再将NFA转成DFA(子集法)

运用子集法的3个概念:
(1 )状态集的ε-闭包: 状态集I中的任何状态s经任意条ε弧而能到达的所有状态的集合,定义为状态集I的ε -闭包,表示为 ε − c l o s u r e ( ) ε -closure() εclosure()

(2)状态集的a弧转换: 状态集I中的任何状态s经过一条a弧而能到达的所有状态的集合,定义为状态集1的a弧转换,表示为move(l,a)。

(3)状态集的a弧转换的闭包a: l g = ε − c l o s u r e ( m o v e ( l , a ) ) lg= ε-closure(move(l,a)) lg=εclosure(move(l,a))

上面的正规式转换成NFA:

img

先从初态0开始求:

【因为每个状态通过一条ε弧到达自己本身,所以求得ε的闭包包含自己】

(1)求0的ε的闭包:经过任意条ε所能到达的状态,集合为{0,1,3,4,5,6,7,9}

(2)求0的a弧转换:1经过a弧到达2,4经过a弧到达4,其余没有经过一条a弧到达某个状态,所以集合为{2,4}
(3)求a弧转换的闭包:{2,4}分别经过任意条ε所能到达的状态,集合为{2,4,6,7,9}

(4)求0的b弧转换:5经过b到5,7经过b到8,,其余没有经过一条b弧到达某个状态,所以集合为{5,8}

(5)求b弧转换的闭包:{5,8}分别经过任意条ε所能到达的状态,集合为{5,6,7,8,9}
0的ε-闭包:{0,1,3,4,5,6,7,9}
0的a弧转换:{2,4}
0的a弧转换的ε-闭包:{2,4,6,7,9}
0的b弧转换:{5,8}
0的b弧转换的ε-闭包:{5,6,7,8,9}
现在列一个表格:
(1)表格的列数为输入字符的个数+1,此题为a,b两个输入字符,所以为3列。
(2)第一列第一行填写初态的ε-闭包(此题0的ε-闭包),第二列第一行填写初态的a弧转换的ε-闭包(此题0的a弧转换的ε-闭包),第三列第一行填写初态的b弧转换的ε-闭包(此题0的b弧转换的ε-闭包)…以此类推。
(3)第一列的第二行以下填入上一行第二列以后的没有出现过的状态集。(此题第一行第二列第三列都没有出现在第一列中,将他们填入第一列)

I I a I_a Ia I b I_b Ib
{0,1,3,4,5,6,7,9}{2,4,6,7,9}{5,6,7,8,9}
{2,4,6,7,9}
{5,6,7,8,9}

下图为填好的表:
【新的终态的判断方法就是包含原来终态的集合就为终态,例如此题原来终态为9,所以包含9的集合就为终态,[双圈代表终态];
新的初态就是包含原来初态的集合就为初态,例如此题原来初态为0,所以包含0的集合就为初态】

img

为表里的状态集重新标上号:

img

可以得到下面的图:

img

这个图是还不是最小化的DFA,还需要DFA最小化。但下面DFA最小化重新举例。

三、将DFA最小化

先了解几个概念:

1.多余状态:对于一个状态 S i S_i Si,若从开始状态出发,不可能到达改状态Si,则Si为多余(无用)状态。

2.死状态:对于一个状态Si,对于任意输入符号a,若转到它本身后,不可能从它到达终止状态,则称Si为死状态。

1,2都称为无关状态

3.等价状态:若Si为自动机的一个状态,我们把从Si出发能导出的所有符号串的集合记为L(Si)。
设有两个状态Si和Sj,若有 L ( S i ) = L ( S j ) L(Si)=L(Sj) LSi=LSj,则称Si和Sj是等价状态。

4.可区别状态:自动机中两个状态Si和Sj,如果它们不等价,则称它们可区别。

5.两个状态(Si和Sj)等价的判断条件:

(1)状态Si和Sj必须同时为终止状态或同时为非终止状态。即终止状态和非终止状态是可区别的。

(2)状态Si和Sj对于任意输入符a∈Σ,必须转到等价的状态里,否则Si和Sj是可区别的。

DFA的化简算法:对于DFA M=(S,Σ,f,S0,Z)
(1)首先将DFA的状态集进行初始化,分成Π=(Z,S-Z);
(2) 用下面的过程对Π构造新的划分Π new
for (Π中每个组G) do //每个组都是一个状态集
begin
把G划分成小组,G中的任意两个状态Si和Sj在同一组中,当且仅当对于Σ中任意输入符号a ,Si和Sj的a转换是到同一组中,move(Si,a) ∈Gi ,move(Sj,a) ∈Gi。这样,只要Si和Sj的a转换是到不同的组中,则说明Si和Sj是可区别的,可进行划分。在Π new中用刚完成的对G的划分代替原来的G。
end ; Π := Π new;
(3)重复执行(2),直到Π中每个状态集不能再划分(Π new= Π)为止;
(4)合并等价状态 ,在每个G中,取任意状态作为代表,删去其它状态;
(5)删去无关状态,从其它状态到无关状态的转换都成为无定义。
举例:

img

①首次划分: Π0=({2,3,4,5},{0,1})

②在G={2,3,4,5}中:f(2,a)=1,f(4,a)=0(转向终态集{0,1});f(3,a)=3,f(5,a)=5(转向非终态集{2,3,4,5}),故{2,4}和{3,5}是可区别的,得Π1=({2,4},{3,5},{0,1});

③在G={2,4}中,f(2,a)=1,f(4,a)=0(转向终态子集),而f(2,b)=3,f(4,b)=5(转向非终态子集{3,5}),所以不可区别,不再进行划分;

④考察G={3,5},f(3,a)=3,f(5,a)=5(转向非终态子集{3,5}),f(3,b)=2,f(5,b)=4(转向非终态子集{2,4}), 所以不可区别,不再进行划分;

⑤考察G={0,1},f(0,a)=f(1,a)=1(转向终态集{0,1}); f(0,b)=2,f(1,b)=4(转向非终态子集{2,4}),所以不可区别,不再进行划分;

⑦进一步进行考察,可以发现每个子集都不能再划分了;

⑧消去等价状态:{0,1}用0表示,{2,4}用2表示,{3,5}用3表示,如右图所示

⑨去掉无关状态,因DFA M’中没有无关状态,所以下图即为最后结果。

img

  • 75
    点赞
  • 287
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
以下是一个简单的DFA最小化的Python代码实现: ```python def dfa_minimization(dfa): # 初始等价类集合和未划分等价类队列 P = [set(dfa.final_states), set(dfa.states) - set(dfa.final_states)] W = [set(dfa.final_states)] while W: A = W.pop() for x in dfa.input_symbols: X = set(y for y in dfa.states if (y, x) in dfa.transitions and dfa.transitions[(y, x)] in A) if not X: continue for Y in P: if X & Y and Y - X: P.remove(Y) P.extend([X & Y, Y - X]) if Y in W: W.remove(Y) W.extend([X & Y, Y - X]) else: if len(X & Y) <= len(Y - X): W.append(X & Y) else: W.append(Y - X) break # 构建新的状态转移表和状态集合 new_states = [] new_transitions = {} new_start_state = None new_final_states = set() for i, p in enumerate(P): state_name = ','.join(sorted(p)) new_states.append(state_name) if dfa.start_state in p: new_start_state = state_name if p & dfa.final_states: new_final_states.add(state_name) for x in dfa.input_symbols: X = set(y for y in dfa.states if (y, x) in dfa.transitions and dfa.transitions[(y, x)] in p) if X: new_transitions[(state_name, x)] = ','.join(sorted(X)) return DFA(new_states, dfa.input_symbols, new_transitions, new_start_state, new_final_states) ``` 其中,`dfa`是输入的DFA对象,`DFA`是一个自定义的DFA类,包含DFA的基本信息,如状态集合、输入符号集合、状态转移表、起始状态和终止状态集合。在代码实现中,使用了Hopcroft算法,采用了等价类划分的方式进行DFA最小化处理。最终返回一个最小化后的新DFA对象。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值