第八次作业:非确定的自动机NFA确定化为DFA

1.设有 NFA M=( {0,1,2,3}, {a,b},f,0,{3} ),其中 f(0,a)={0,1}  f(0,b)={0}  f(1,b)={2}  f(2,b)={3}

   画出状态转换矩阵,状态转换图,并说明该NFA识别的是什么样的语言。

状态转换矩阵:

 

a

b

0

0,1

0

1

2

2

3

 
 
 
 
 
 
 
 
 
 
状态转换图:

语言:L(M)=(a|b)*abb

2.NFA 确定化为 DFA

1.解决多值映射:子集法

1). 上述练习1的NFA

   

a

b

A

{0}

{0,1}

{0}

B

{0,1}

 {0,1}

{0,2}

C

{0,2}

 {0,1}

{0,3}

D

{0,3}

{0,1}

{0}

 
 
 
 
 
 
 
 
 
 

DFA图:

2). P64页练习3

NFA图:

DFA状态转换矩阵:

    0 1
A {S} {Q,U} {Q,U}
B {Q,V} {V,Z} {Q,U}
C {Q,U} {V} {Q,U,Z}
D {V,Z} {Z} {Z}
E {V} {Z}  
F {Z} {Z} {Z}
G {Q,U,Z} {V,Z} {Q,U,Z}

DFA图:

 

2.解决空弧:对初态和所有新状态求ε-闭包

1). 发给大家的图2

DFA状态转换矩阵:

    0 1 2
X ε{A}={ABC} ε{A}={ABC} ε{B}={BC} ε{C}={C}
Y {BC}   ε{B}={BC}

ε{C}={C}

Z {C}     ε{C}={C}

DFA图:

2).P50图3.6

DFA状态转换矩阵:

    a b
0 ε{0}={01247} ε{38}={1234678} ε{5}={124567}
1 {1234678} ε{38}={1234678} ε{59}={1245679}
2 {124567} ε{38}={1234678} ε{5}={124567}
3 {1245679} ε{38}={1234678} ε{510}={12456710}
4 {12456710} ε{38}={1234678} ε{510}={124567}

DFA图:

子集法:

f(q,a)={q1,q2,…,qn},状态集的子集

将{q1,q2,…,qn}看做一个状态A,去记录NFA读入输入符号之后可能达到的所有状态的集合。

步骤:

1).根据NFA构造DFA状态转换矩阵

①确定DFA的字母表,初态(NFA的所有初态集)

②从初态出发,经字母表到达的状态集看成一个新状态

③将新状态添加到DFA状态集

④重复23步骤,直到没有新的DFA状态

2).画出DFA

3).看NFA和DFA识别的符号串是否一致。

原文地址:https://www.cnblogs.com/zxf001/p/11763336.html