第八次.非确定的自动机NFA确定化为DFA

Posted zqy1004

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了第八次.非确定的自动机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

3

Φ

Φ

状态转换图

  技术图片

该NFA识别的语言:  L(M)= (a | b) * abb

 

2.NFA 确定化为 DFA

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

1). 上述练习1的NFA

状态转换矩阵

 

 

a

b

A

{0}

ε{0}={0,1}

ε{0}={0}

B

{0,1}

ε{0}={0,1}

ε{0,1}={0,2}

C

{0,2}

ε{0}={0,1}

ε{0,1}={0,3}

D

{0,3}

ε{0}={0,1}

ε{0}={0}

状态转换图

技术图片

 

 

2). P64页练习3

状态转换矩阵

 

 

0

1

a

S

{V,Q}

{Q,U}

b

{V,Q}

{Z,V}

{Q,U}

c

{Q,U}

{V}

{Q,U,Z}

d

{Z,V}

{Z}

{Z}

e

{V}

{Z}

 

f

{Q,U,Z}

{V,Z}

{Q,U,Z}

g

{Z}

{Z}

{Z}

状态转换图

技术图片

 

 

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

1). 发给大家的图2

技术图片

状态转换矩阵

 

 

0

1

2

X

ε{A}={ABC}

ε{A}={ABC}

ε{B}={BC}

ε{C}={C}

Y

{BC}

 

ε{B}={BC}

ε{C}={C}

Z

{C}

 

 

ε{C}={C}

 

状态转换图

技术图片

 

 

 

2).P50图3.6

 状态转换矩阵

 

 

a

b

A

ε{0}={01247}

ε{38}={1234678}

ε{5}={124567}

B

{1234678}

ε{38}={1234678}

ε{59}={1245679}

C

{124567}

ε{38}={1234678}

ε{5}={124567}

D

{1245679}

ε{38}={1234678}

ε{510}={12456710}

E

{12456710}

ε{38}={1234678}

ε{5}={124567}

状态转换图

技术图片

 

 

子集法:

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

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

步骤:

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

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

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

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

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

2).画出DFA

3).看NFA和DFA识

以上是关于第八次.非确定的自动机NFA确定化为DFA的主要内容,如果未能解决你的问题,请参考以下文章

非确定的自动机NFA确定化为DFA

非确定的自动机NFA确定化为DFA

非确定的自动机NFA确定化为DFA

非确定的自动机NFA确定化为DFA

非确定的自动机NFA确定化为DFA

非确定的自动机NFA确定化为DFA