[编译原理chapter3.2016..ppt

一个DFA还可以用一个矩阵(状态矩阵）表示： 矩阵的行表示状态，列表示输入字符，矩阵元素表示 相应状态行和输入字符列下的新状态。 例：上例的DFA的矩阵表示如下： 字符 状态 S U V Q a b U V Q V U Q Q Q 0 0 0 1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对于Σ*中的任何字符串α，若DFA M中存在一条从 初态结点到某一终态结点的路，且这条路上所有弧的标 记连接成的字符串等于α，则称α可以被DFA M所接受 (识别)。 若M的初态结点同时又是终态结点，则空串ε可被 M所接受（识别）。 若α∈Σ*，f(S, α)=P，其中S为DFA M的初始状 态，P∈Z，Z为终态集，则称字符串α可以被DFA M 所接受(识别) 。 DFA M所能识别的所有字符串的全体（字的全体） 称为DFA M所能接受的语言，记为L(M) 。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 为了加深对上述定义的理解，我们给出扩充的转 换函数的定义： f(q, ε)=q ,其中q∈S，即q为任意状态； f(q,Tα)=f(f(q,T), α),其中T∈Σ, α∈Σ*。 例：试证baab可被下面的DFA所接受。 f(S , baab) =f(f(S,b),aab) =f(V,aab) =f(f(V,a),ab) =f(U , ab) =f(f(U,a),b) =f(Q,b) =Q 可以看出：这个定义使得转换函数的定义域从原来的S×Σ扩充到S×Σ*上，即f成为从S×Σ*到 S的映象。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. DFA的确定性表现在转换函数f: S×Σ→S是一个单值函数，也就是说对任何状态k∈S,和输入符号a∈Σ，f(k,a)唯一地确定了下一个状态。 从状态转换图来看，若字母表含有n个输入字符，那么任何一个状态结点最多有n条弧射出，而且每条弧以一个不同的输入字符进行标记。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例：  1 a 4 ε b 2 b 7 a b a a 3 6 ε S a A a b a B b a C 是不是DFA? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 非确定的有限自动机(Nondeterministic Finite Automata) 一个非确定的有限自动机(NFA) M是一个五元组： M=(S ，Σ，f，S0，F)，其中 S是一个非空有限集，它的每个元素称为一个状态； (2) Σ是一个有限的输入字母表，它的每个元素称为一个 输入字符； (3) f是转换函数，它是从S ×Σ*到2S的子集的映象 ； (4) S0 ? S是一个非空的初始状态集； (5) F ? S，是终止状态集合。 对某个输入，可以到达多个状态 初态可以是多个 所以，一个含有m个状态和n个输入字符的NFA可表示成如下的一张状态转换图：这张状态转换图含有m个状态结点，每个结点可射出若干条箭弧与别的结点相连接，每条弧用Σ*中的一个串作标记(可相同)，整个图至少含有一个初态结点以及若干个终态结点。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例： 一个NFA