个人学习笔记——编译原理：NFA DFA

有限自动机是更一般化的状态转化图。分为确定有限自动机（DFA）和不确定有限自动机（NFA）。

1.确定的有限状态自动机

M =（S，∑，f，So，Z）其中：

S是一个有限状态集合。

∑是一个字母表，输入字符的集合。

f是从S x ∑*至S的子集映照。

S0⊆S，是唯一的初态。

Z⊆S，是一个终态集。

2.不确定的有限状态自动机

M =（S，∑，f，So，Z）其中：

S是一个有限状态集合。

∑是一个字母表，输入字符的集合。

f是从S x ∑*至S的子集映照。

S0⊆S，是一个非空初态集。

Z⊆S，是一个终态集。

NFA可以转换成DFA，NFA和DFA的主要区别在于：

1）DFA没有输入空串之上的转换动作；

2）对于DFA，一个特定的符号输入，有且只能得到一个状态，而NFA就有可能得到一个状态集；