软件设计师（三）编译原理-有限自动机

有限自动机（有穷自动机）

内容不太容易整理，自行观看

要求：

• NFA与DFA的定义
• NFA转化为DFA
• 正规式与有限自动机之间的转化

解释：

NFA为不确定的有限自动机

DFA为确定的有限自动机

1.1 NFA与DFA的定义

确定的有限自动机（DFA）的定义：

一个确定的有限状态自动机M（记DFA M）是一个五元组：

M=(S，∑，f，S₀，Z)

其中：

• S是一个有限状态集合：
• ∑是一个字母表，它的每个元素称为一个输入字符
• f是一个从S×∑的单值部分映射。f(S,a) = s’ 意味着：当现行状态为s、输入字符为a时，将转换到下一状态s’。我们称s’为s的一个后继状态
• S₀，是唯一的初态
• Z∈S，是一个终态集

确定的有限自动机（DFA）的定义：