《编译原理》2.2第二章形式语言与自动机理论基础.pdfVIP

第二章 形式语言与自动机理论基础 2.2有限自动机FA (Finite Automata) 关于有穷自动机我们将讨论如下题目：  确定的有穷自动机DFA  不确定的有穷自动机NFA  DFA与NFA的等价——NFA的确定化  DFA的最小化 1、确定的有限自动机 DFA DFA ：Deterministic Finite Automata 定义2.26 一个确定的有限自动机 M （记作DFA M)是一个五元组 Ｍ＝（Ｑ，Σ ，f，q ， Z） 0 其中 Ｑ是一个有限状态集合。 Σ 是输入字符的有限集合，它的每个元素是输入符号。 q ∈Ｑ，q 称为初始状态。 0 0 ZＱ，Z称为终结状态集合。 f是一个从Ｑ×Σ 到Ｑ的单值映射 f( ｑ，ａ)＝ｑ （ｑ, ｑ∈Ｑ，ａ∈Σ ）