第三章有穷自动机.pptVIP

第三章有穷自动机;§3.1 有穷自动机的形式定义 ; 有穷自动机分为两类： （1）确定的有穷自动机 (Deterministic Finite Automata简称DFA) （2）不确定的有穷自动机(Nondeterministic Finite Automata简称NFA) 。 ;3.1.1 确定有穷自动机的形式定义 一个DFA M＝(K，Σ，f，S，Z)，其中 (ａ)K是一个有限状态集合。 (ｂ)Σ是一个字母表，它的每个元素称为一个输入字符。 (ｃ)S∈K，S 称为初始状态,唯一。 (ｄ)Z?K， Z称为终态集合, 终态也称可接受状态或结束状态。 (ｅ)f是转换函数，是一个从K×Σ到K的单值映射。f(ki，a)＝kj（ki,kj∈K,a∈Σ）kj称为ki的一个后继状态。;确定性的体现：初始状态唯一； 转换函数为单值映射。 例： 设DFA M=({S,U,V,Q}，{a,b}，f，S，｛Q｝)其中 ???? f(S,a)＝U， f(S,b)＝V ???? f(U,a)＝Q， f(U,b)＝V ???? f(V,a)＝U， f(V,b)＝Q ???? f(Q,a)＝Q，f(Q,b)＝Q 因为（1）初始状态唯一是S， （2）每个转换函数均为单值映射。 所以该FA为确定有穷自动机。 ;3.1.2 状态转换表 DFA的映射关系可以由一个矩阵表示，矩