[第章词法分析.pptVIP

如果一个DFA M的输入字母表为Σ，则我们也称M是Σ的一个DFA。 换言之： 若t∈Σ* ，f (S，t) =P，其中S为DFA M的初态，P∈Z，Z为终态集。则称t 可为DFA M所接受（识别）。 结论：Σ上的一个字集V?Σ*是正规的，当且仅当存在Σ上的DFA M，使得V＝L（ M）。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ∑*上的符号串t 在DFA M上运行: 一个输入符号串t，（将它表示成T t1的形式，其中T∈∑， t1 ∈ ∑*）在DFA M=（K，Σ，f，S，Z）上运行的定义为： f（Q， Tt1）=f（f（Q，T），t1）,其中Q∈K; 扩充转换函数f 为 K×Σ*→K上的映射，且： f（ki， ? ）= ki Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例：证明t=baab被下图的DFA所接受。 b S U V Q a b b b,a a a ? 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 Q属于终态。得证。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 三、DFA的确定性表现两个方面： 1. 映射f：K?Σ→K是一个单值函数。也就是说，对任何状态s∈K和输入符号a∈Σ，f（s，a）唯一地确定了下一状态。从转换图的角度来看，假定字母表Σ含有n个输入字符，那么，任何一个状态结最多只有n条弧射出，而且每条弧以一个不同的输入字符标记。 2. DFA有且仅有唯一的一个初态s0∈K 。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. §4.3.2 非确定的有穷自动机NFA 1. K是一个有穷集，它的每个元素称为一个状态； 2. Σ是一个有穷字母表，它的每个元素称为一个输入符号，所以也称Σ为输入符号表； 3. f是状态转换函数，是在K×Σ*→K的子集的映射，即，f: K×Σ*→2K ；表明在某状态下对于某输入符号可能有多个后继状态； 5. Z ? K是一个终态集（可空）。 4. S ? K是一个非空初态集； 一、NFA定义： 一个非确定的有穷自动机（NFA）M是一个五元组： M=（K，Σ，f，S ，Z）,其中: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 同前，一个含有m个状态和n个输入字符的NFA可表示成如下的状态转换图：该图含有m个状态结点，每个结点可射出若干条箭弧与别的结点相连接，每条弧用Σ*中的一个字（不一定要不同的字而且可以是空字。）作标记（称为输入字），整张图至少含有一个初态结点以及若干个（可以是0个）终态结点。某些结点既可以是初态结点也可以是终态结点。 显然，一个NFA可用一个矩阵表示，该矩阵的行表示状态，列表示输入字符，即k行a列的 矩阵元素表示f（k，a）的值。这个矩阵称为状态转换矩阵。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二、一个NFA 的例子： NFA M=（{S，P，Z}，{0，1}，f，{S，P}，{Z}） 其中 ： f（S，0）={P} f（Z，0）={P} f（P，1）={Z} f（Z，1）={P} f（S，1）={S，Z} S P Z 0 0,1 1 1 1 状态图表示 ? ? Evaluation only. Created wit