【编译原理】自动有穷机

有穷自动机

有穷自动机是识别器，他们只能对每个可能的输入串简单地回答“是”或“否”。

分类

• **不确定的有穷自动机：**对其边上的标号没有任何限制。一个符号标记离开同一状态的多条边，并且空串ε也可以作为标号。
• **确定的有穷自动机：**对于每个状态及自动机输入字母表中的每个符号，确定的有穷自动机有且只有一条离开该状态，一该符号为标号的边。

不确定的有穷自动机

组成：
$$M=(S,\Sigma ,\delta ,S_0,F)$$

1. 一个有穷的状态集合S
2. 有限的输入符号字母表Σ
3. 一个转化函数，它为每个状态和Σ∪{ε}中的每个符号都给出了相应的后继状态集合
4. 一个初始状态S₀（或者开始状态）
5. 终止状态的集合F， F∈S

确定的有穷自动机

组成：
$$M=(S,\Sigma ,\delta ,S_0,F)$$
确定的有穷自动机是不确定的自动机一个特例：

1. 没有输入ε之上的转化动作
2. 对于每个状态s和每个输入符号a，有且只有一条符号为a的边离开

转化表

无论是NFA还是DNA，都可以将它表示为一张转化表。图中的结点是状态，待符号的边表示自动机的转化函数。

• 同一个符号可以标记从同一个状态出发到达多个目标状态的多条边。
• 一条边的符号不仅可以是输入字母表中的符号，也可以是空符号串ε。

将NFA表示为一张转化表

表的各行对应于状态，各列对应于输入符号和ε。

将DFA表示为一张转化表

边是唯一的，我们可以不使用花括号，直接写出这个状态。

从正则表达式到自动机

从正则表达式构造NFA

• 基本规则

1. 对于表达式ε，构造NFA
2. 对于字目表中的子表达式a，构造NFA
3. r=st，构造r的NFA
4. r=s|t，构造r的NFA
5. r=s^*，构造r的NFA
6. r=(s)

因为L®=L(s)，直接将N(s)当成N®

从NFA到DFA的转换

持续更新中