将下图的nfa确定化为dfa_编译原理:非确定的自动机NFA确定化为DFA

本文详细介绍了如何将非确定有限自动机(NFA)确定化为确定有限自动机(DFA),通过具体例子展示了状态转换矩阵和转换图的构建过程。解析了两个NFA,分别构造了对应的DFA,并分析了它们识别的语言,强调了子集法在处理多值映射中的应用,以及在消除空弧时求ε-闭包的重要性。
摘要由CSDN通过智能技术生成

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

状态转换图如下:

识别语言为:(a | b)*abb

2.NFA 确定化为 DFA

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

1). 上述练习1的NFA

解析:

根据1的NFA构造DFA状态转换矩阵如下:

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}

根据1的NFA构造DFA状态转换图如下:

识别语言:b*aa*(ba)*bb, 与1的NFA的识别的语言相同,都是以abb结尾的字符串的集合。

2). P64页练习3

状态转换矩阵如下:

0

1

A

{S}

{Q,V}

{Q,U}

B

{Q,V}

{V,Z}

{Q,U}

C

{V,Z}

{Z}

{Z}

D

{Q,U}

{V}

{Q,U,Z}

E

{V}

{Z}

F

{Q,U,Z}

{V,Z}

{Q,U,Z}

G

{Z}

{Z}

{Z}

状态转换图如下:

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

1). 发给大家的图2

解析:

识别语言:0*(11*2 | 2)2*

2).P50图3.6

子集法:

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

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

步骤:

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

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

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

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

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

2).画出DFA

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

解析:

识别语言:(a | bb*a)a*(ba)*bb((bb*aa*(ba)*bb)* | (aa*(ba)*bb)*)

标签:状态,转换,NFA,bb,确定,识别,DFA

来源: https://www.cnblogs.com/zhif97/p/11763941.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值