《6.第三章词法分析2).pptVIP

小结 本次课主要讲解了相关概念：DFA、NFA NFA的确定化（子集法） * FA等价性证明2步: 子集法(3) (3) 构造一张状态转换子集表。设∑={ a1,a2, …, ak } ① 第一行第一列为 I =ε_CLOSUR(X)，X是唯一的初态；以此 I 求 Ia1，Ia2，…，Iak。 ② 把没有在第一列出现过的Iai填入空行第一列，以此 Iai为新的 I，再求 Ia1，Ia2，…，Iak。 ③ 重复②的过程，直到所有求出的 Iai 都在第一列出现为止。 I ε_CLOSUR(X) …… Ia1 Ia2 ………… Iak Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. FA等价性证明2步: 子集法例 对图3.6的NFA构造一张状态子集表。∑={ a, b } a 5 Y ε 1 2 ε a 6 a a ε ε b X b 3 4 b b I Ia Ib { X, 5, 1} 初 0 { 5, 3, 1} 1 { 5, 4, 1} 2 { 5, 3, 1} 1 { 5, 3, 1, 2, 6, Y} 3 { 5, 4, 1 }