第8节课第三章.pptVIP

3.3.1 确定的有限自动机DFA 抽象地看，状态转换图由五个要素组成: (1) 有限个状态之集，记作 K ； (2) 有限个输入符号组成的字母表，记作 ? ； (3) 从K??到K的转换函数 f: K???K。 f(p,a)=q 表示若当前状态为p，且输入符号 为a，则进入下一个状态q; (4)初始(开始)状态 S0?K ； (5)若干个终态构成的集合: Z( ?K ) 由上述五个要素组成的五元式 M=(K, ?, f, S0 ,Z ) 称为一个确定的有限自动机 。 将DFA转换函数 f 的定义域拓广到 K??* : (1)f^(s,?)=s, s?K; (2)f^(s,aw)=f^( f(s,a),w) , s?K,a??,w??*; f^(S, abab) = f^( f(S,a), bab) = f^(S, bab) = f^( f(S, b), ab) = f^(A, ab) = f^( f(A, a), b) = f^(A, b) = f^( f(A, b), ?) = f^(F, ?) = F 由上面的定义可知，对于 x??* ，f^(s,x)=t 的 含义是，当 M 从状态s出发，依次扫描完x的 各个符号后将进入状态t。即只要f有定义， f^与f的效果是一致的。 我们称DFA M接受(或识别)某符号串 x??*， 用状态转换图来说，就是从初态S0出发，经一 恰好标有 x 的路径后可达到某终态 z?Z ； 用f^描述就是: ? z?Z, f(S0,x)=z DFA的接受集 M的接受集 我们把一DFA M所接受的符号串的全体称为M的接受集，记为 L(M) ，即： L(M) = { x | f( S0 , x ) ? Z , x??* } 实际上，我们可以证明，对任意的正规文法G，存在一个DFA M，使L(M)=L(G)，反之亦然。 例如，对于文法G[S]： S→aS|bA|cB A→aA|b B→cB|a 因为如右所示的 DFA M是由文法G[S] 构造的，所以有： L(M) = L(G) = 3.3.2 非确定的有限自动机 若在一左线性文法中含有多个 右部相同的产生式，如:A?Ua B?Ua C?Ua ? X?Ua 或在一右线性文法中同时 含有形如: U?aA U?aB U?aC ? U?aX 的产生式,在相应的状态转换图中,就会出现这样 的结点U,它具有多条标记为同一输入符号a的矢线。 非确定有限自动机的定义 在形式上，NFA M 同样可用五元式定义： M=(K,?,f,S0,Z) ，其中K,?,S0,Z 的含义同DFA, 转换函数 f 的定义为: f: K?? ? 2K 即将 ( Si , aj ) 映射到K的 一个子集{ Sk1 , … , Skm } 对于右图，有： f(U, a) = { A, B , C , … , X } 类似地，我们可把f的定义域拓广到K??* ： (1) f^( S , ? ) = {S}; (2) f^( S , aw ) = f^( f(S,a) , w) a??, w??* 再设 f( S , a )= { Sk1 , … , Skm } ，且定义： f^(S,abb) = f^(f(S,a),bb) = f^({A,C},bb) = f^(A,bb) ∪ f^(C,bb) = f^(f(A,b),b) ∪ f^(f(C,b),b) = f^({A,B},b) ∪ ? = f^(A,b) ∪ f^(B,b) = f^(f(A,b),?)∪f^(f(B,b),?)= f^({A,B},?)∪f^(C,?) = {A,B} ∪ C = {A,B,C} ∩ Z ≠ ? NFA的接受集 对于x??*，若集合f(S0, x)中含有Z中的元素 （终态），则说明，至少存在一条从初态S0到 某一终态的路径，此路径上的符号之连接恰 为x，此时，称x为M所接受。 所有为M所接受的符号串之集称为NFA M的接受集（或识别集），记作 L(M)。即： L(M)={ x | f(S0 , x ) ∩Z ? ? , x??* } 3.3.3 NFA与DFA的等价性 定理3.1 对于字母表?上的任一NFA M，必存在与M等价的DFA M’，并有L(