【学习笔记】编译原理-有限自动机

一、定义：

不确定的有限自动机(NFA): 一种数学模型
(1) 一个有限的状态集合S
(2) 一个输入符号集合∑（不包含ε）
(3) 一个转换函数move： S X (∑ U {ε}) -> P(S)
(4) 状态s0是唯一的开始状态
(5) 状态集合F是接受状态集合，S包含F

确定的有限自动机(DFA): 是NFA的特殊情况
(1) 任何状态都没有ε转换
(2) 对于任何状态s和任何输入符号a，最多只有一条标记为a的边离开，即转换函数move： S X ∑-> S可以是一个部分函数。

二、表示：

1.NFA：

NFA可以用带标记的有向图表示，节点表示状态，有标记的边代表转换函数。

(a|b)*ab的NFA