第三章自动机.pptVIP

第三章 有限自动机 本章介绍有关有穷自动机的基本概念和理论以及正规文法、正规表达式与有限自动机之间的相互关系。 The end. * * 3.1 状态转换图 3.1.1 状态转换图的定义 所谓状态转换图就是为了识别的符号串而设计的一张有限的方向图。在转换图中：结点代表状态，用圆圈表示；状态之间用箭弧连接；箭弧上的标记表示在射出结状态下可能出现的输入符号或符号类。 例：如下有一张状态转换图,图中有5个状态结点,其中Q代表初态,g表示终态,箭弧上的标记均为字母表Σ={0，1}上的字符。 Q B A C 1 0 0 1 0 1 1,0 g 利用状态转换图，可识别符号串W∈Σ＊，即可以找到一条从初态S到终态f的标记为W的路径，方法如下： (1) 起点为初态S，从W最左符号开始，重复步骤（2），直到达到W的最右符号为止。 (2) 扫描W的下一个符号，在当前状态的所有射出箭弧中，找出标记为该字符的箭弧，沿此箭弧过渡到下一个状态。 状态转换图所能识别的符号串的全体称为该状态转换图所识别语言，记为L(TG)。 3.1.2 使用状态转换图来识别符号串 例：状态转换图如下所示： 它能识别的语言 , L(TG)={10,110,111,01,000,001}。显然W是句子的充要条件是“最终的当前状态是终态f” Q B A C 1 0 0 1 0 1 1,0 g 3.1.3 状态转换图的实现 3.2 确定有限自动机 3.2.1 有限自动机 有限自动机，简称FA，可以看作是由一个带有读头的有限控制器和一条字符输入带组成，如下图： 控制器的读头从左到右扫描输入带，每当从输入带上读到一个符号时，变引起控制器状态的改变，同时读头右移一个符号位。一个有限自动机的工作状态可以用状态转换图来描述。 a a a b c a d d …… 控制器 3.2.2 确定有限自动机的定义 确定有限自动机DFA是一个五元组:M=(S, ?, f, S0, Z), 其中: 1.S是非空有穷状态集,其中的每个元素称为一个状态； 2.?是有穷输入字母表，它的每一个元素称为一个输入符号； 3.f是一个单值映射S???S，也称状态转换函数,f(s1,x)=s2意指：当现行状态为s1,面临的输入符号为x时,将转到下一状态s2,s2称为s1的一个后继状态； 4.S0?S,它是唯一的一个初态； 5.Z?S称为终止状态集。 3.2.3 确定有限自动机的表示 任意确定有限自动机,若 S={p1,p2, …,pn} Σ={q1,q2, …,qm}, 则 f(pi, qj)n×m是一个行列矩阵,它称为状态转换矩阵,也称为转换表。 例：设确定有限自动机MD=(S,Σ,f,S0,Z),其中： S={A,B,C,Q,g} Σ={0,1} S0= Q Z={g} 其转换函数f为： f(Q,0)=B f(A,0)=g f(B,0)=C f(C,0)= g f(Q,1)=A f(A,1)=C f(B,1)= g f(C,1)= g 则MD的状态转换矩阵为一个5行2列的矩阵，它的每一行对应S的一个状态，每一列对应Σ的一个输入符号，如下图： 0 1 Q B A A g C B C g C g g g － － g g C — — g g C B C g A A B Q 1 0 符号 状态 3.2.4 确定有限自动机识别的符号串 对于Σ上的任意符号串W ∈Σ＊，若存在一条从初态结点到终态结点的路径，该路径上每条箭弧的标记连接成的符号串恰好是W，则称W为DFA MD所识别。 DFA MD所能识别的符号串的全体记为L(MD),称为MD所识别的语言。 3.3 非确定有限自动机 3.3.1 非确定有限自动机的定义 3.3.2 非确定有限自动机的表示 NFA与DFA的区别： DFA只有唯一的一个初态， NFA有一个非空初态集，可以有若干初态； DFA的转换函数f是一个单值函数， NFA的转换函数f是一个多值函数。 NFA与DFA的联系： DFA 是NFA的特例，凡是能被DFA接受的符号串必然能 被NFA所接受（即NFA都可转化为与它等价的DFA ）。 对于Σ上