一. 转换图
1. 定义
字母表∑上的有向图
2. 组成
⑴ 至少一个的初始结点,表示为 →○
⑵ 存在一些终止节点(可空)
⑶ 在每个边上有字母表∑上的符号串(可以为空串ε)
二. 有限自动机
1. 定义
· 具有离散输入输出系统的一种数学模型
· 有限的状态
· 状态+输入→状态转移
· 每次转换后的后继状态都唯一→确定型有限状态自动机(DFA)
· 转换后的后继状态存在不唯一→不确定有限状态自动机(NFA)
(DFA是NFA的特例,即NFA能接收的语言DFA也一定能够接收)
2. 五要素
⑴ 有限状态集
⑵ 有限输入符号集
⑶ 转移函数
⑷ 一个开始状态(NFA可以有多个)
⑸ 一个终态集合
3. 分类
DFA,M=(Q,T,δ,q0,F)
· Q:有限的状态集合
· T:有限的输入字母表
· δ:转换函数(状态转移集合,Q*T→Q
· q0:初始状态,q0∈Q
· F:终止状态集,F 包含于Q
NFA
三. ε自动机
1. 定义
边上有空符号串的自动机 εFA
2. 由εFA构造等价FA
⑴ 在εFA中寻找ε边。如果状态B没有ε边输出,则进入步骤2,否则跳到步骤4
(2) 如图ai∈∑
Ⅰ. 消除ε边,引进新边
Ⅱ. 如果B为终止状态,则A为终止状态
Ⅲ. 如果存在一条从初始状态到A的空路,则B为初始状态,
⑶ 重复步骤⑵直到所有的ε边消除
⑷ 如果还有ε边,则一定存在ε回路。此时合并为一个结点