第2章 词法分析(自动机).pptVIP

* a 3 0 1 2 a a a a b b b 5 4 6 a b b a b b 划分的组为：{3,4,5,6}, {1}, {0,2} 划分的新组为：{3,4,5,6}, {1}, {0},{2} 再考察{0，2},由于{0，2}b＝{ 2，5}，它没有包括在上述三组中，因此，它要划分，形成{0}、{2}。 * 至此，整个划分有4组： {3,4,5,6}, {1}, {0},{2}。每个组都不可再划分。最后令状态3代表{3，4，5，6}，把原来到达4、5、6状态得弧都导入3，并删除4、5、6，这样就得到化简以后的DFA： 3 0 1 2 a a a b b b a,b * a 3 0 1 2 a a a a b b b 5 4 6 a b b a b b 3 0 1 2 a a a b b b a,b 原DFA 化简后DFA * * * 一个确定有限自动机（DFA） M是一个五元式： M ＝ (S, ∑, δ, s0 , F) 1、S是一个有限集，它的每个元素称为一个状态 2、∑是一个有穷字母表，它的每个元素称为一个输入 字符 3、δ是一个从S×∑至S的单值部分映射。 δ(s,a)=s′意 味着：当现行状态为、输入字符为a时，将转换到下 一状态s′。我们称s′为s的一个后继状态。 4、s0∈S是唯一的初态 5、 是一个终态集。 显然，一个DFA可用一个矩阵表示，该矩阵的行表示状态，列表示输入字符，矩阵元素表示δ(s,a)的值。这个矩阵称为状态转换矩阵。 　　 * 例3：有DFA M = ({0,1,2,3}, {a,b}, δ, 0, {3}) 其中δ为: δ(0,a)=1 δ(0,b)=2 δ(1,a)=3 δ(1,b)=2 δ(2,a)=1 δ(2,b)=3 δ(3,a)=3 δ(3,b)=3 状态 a b 0 1 2 1 3 2 2 1 3 3 3 3 相应的状态转换矩阵如下表： 一个DFA也可用一张（确定的）状态转换图来表示。假定DFA M含有m个状态和n个输入字符，那么，这个状态转换图含有m个状态结点，每个结点顶多有n条箭弧射出，整张图含有一个初态结点和若干个终态结点 * 如下表所示的状态转换矩阵对应的状态转换图如右图： 状态 a b 0 1 2 1 3 2 2 1 3 3 3 3 a,b 3 0 1 2 a a a b b b 状态转换图 对于一个自动机FA M而言，如果存在一条从初始状态到终止状态的通路，通路上有向边所识别的字符依次连接所得到的字符串为α, 则称α可以为FA M所接受或者α为FA M所识别。 FA M所能识别的字符串集为FA M所识别的语言，记为L(M).注意： 对于任意两个FA M和 FA M’, 如果L(M)=L(M’), 则称M和M’等价。 * * 上图所示的状态转换图的S、∑及∑*如下： S = {0,1,2,3} ∑= {a,b} ∑*= {α| α为ε，或者α为a、b的任意组合} 3 0 1 2 a a a b b b 从初态0到终态3有如图所示的通路，箭弧上到标记符连接起来的字aa属于∑*，所以左图所示的DFA可以识别字aa。 同理：从初态0到终态3还有如图所示的通路，箭弧上到标记符连接起来的字bba属于∑*，所以左图所示的DFA可以识别字bba。 a,b 接受与正则式ab+|ab*|b* 相同的语言的DFA如下所示： * a b b b DFA的确定性表现在映射δ： S×∑→S是一个单值函数。即：对于任何状态s∈S和输入符号a∈∑， δ(s,a)唯一确定了一个状态。从转换图角度，我们也可以得到答案。如果允许是一个多值函数，我们就得到要讲到的非确定自动机的概念。 * 一个非确定有限自动机（NFA） M是一个五元式： M ＝ (S, ∑, δ, S0 , F) ，其中 1、S是一个有限集，它的每个元素称为一个状态 2、∑是一个有穷字母表，它的每个元素称为一个输入字 符 3、δ是一个从S×∑*至S的子集的映射，即δ： S×∑* →  2s 4、 是唯一的初态 5、 是一个终态集。 * 设有 NFA M2 = (K, ?, f, S0 ,Z )  则 K={S,A,B,C}, ?={a,b}, S0=S, Z={C}, f(S,a)={A,C}  f(S,b)=? f(A,a)={A,C}  f(A,b)={A,B}  f(B,a)={