有限自动机理论-4章正则语言-简化版
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
三种运算是有效封闭的。
定理
分别接收语言L1和L2的FA
M1 f2
q2
M2
…
联合：构造FA
f0 M1 f2
连接：构造FA
M1 M2
q1
…
f1
q2
…
f2
f0M1Βιβλιοθήκη q1f1q0
…
迭代: 构造FA
A
E
D
F
B
C
正则文法(右线性文法)RG
正则表达式RE
NFA
DFA
ε-NFA
正则语言有5种等价模型：
正则语言的等价模型
-NFA的开始状态可以仅有一个 -NFA的接收状态可以仅有一个
CLICK HERE TO ADD A TITLE
CONTENTS
思路
壹
s1
贰
f1
叁
sm
肆
……
伍
fn
陆
…
…
…
改造为
壹
S
贰
叁
s1
肆
……
伍
陆
F
01
02
FA(DFA、NFA）可以仅有
一个开始状态和一个接收状态。
推广
01
02
FSL对于联合、连接和迭代
正则语言的5种等价模型的转换
DFA 转换为RG
01
RG转换为NFA
02
NFA转换为RE
03
RE转换为ε-NFA
04
ε-NFA转换为NFA
05
NFA转换为DFA
06
5种等价模型之间的（直接）转换
定理
分别接收语言L1和L2的FA
M1 f2
q2
M2
…
联合：构造FA
f0 M1 f2
连接：构造FA
M1 M2
q1
…
f1
q2
…
f2
f0M1Βιβλιοθήκη q1f1q0
…
迭代: 构造FA
A
E
D
F
B
C
正则文法(右线性文法)RG
正则表达式RE
NFA
DFA
ε-NFA
正则语言有5种等价模型：
正则语言的等价模型
-NFA的开始状态可以仅有一个 -NFA的接收状态可以仅有一个
CLICK HERE TO ADD A TITLE
CONTENTS
思路
壹
s1
贰
f1
叁
sm
肆
……
伍
fn
陆
…
…
…
改造为
壹
S
贰
叁
s1
肆
……
伍
陆
F
01
02
FA(DFA、NFA）可以仅有
一个开始状态和一个接收状态。
推广
01
02
FSL对于联合、连接和迭代
正则语言的5种等价模型的转换
DFA 转换为RG
01
RG转换为NFA
02
NFA转换为RE
03
RE转换为ε-NFA
04
ε-NFA转换为NFA
05
NFA转换为DFA
06
5种等价模型之间的（直接）转换