用状态转换图表示接收(a.docVIP

1.10 用状态转换图表示接收(a | b)( a (a | b) (a | b)的确定的有限自动机。 答案 状态转换图见图1.11。 分析 该正规式表示的语言是，字母表(= {a, b}上倒数第三个字符是a的串的集合。根据上题的经验，我们首先画出图1.12。因为最后两个字符任意，因此有这样的分杈，并有四个接受状态。 现在考虑这四个接受状态上的转换。 1．状态4 该状态表示最后三个字符是aaa，若再添加一个a，最后三个字符仍是aaa，因此状态4的a转换到本身。若添加的是b，那么最后三个字符是aab，而状态5表示最后三个字符是aab，因此状态4的b转换到状态5。 2．状态5 该状态表示最后三个字符是aab，若再添加一个a，最后三个字符成了aba，而状态6表示最后三个字符是aba，因此状态5的a转换到状态6。若添加的是b，那么最后三个字符是abb，而状态7表示最后三个字符是abb，因此状态5的b转换到状态7。 3．状态6 该状态表示最后三个字符是aba，若再添加一个a，最后三个字符成了baa，其由a开始的后缀是aa，因此状态6的a转换到状态2（因为从状态0出发经aa是到状态2）。若添加的是b，那么最后三个字符是bab，其由a开始的后缀是ab，因此状态6的b转换到状态3。 4．状态7 该状态表示最后三个字符是abb，若再添加一个a，最后三个字符成了bba，其由a开始的后缀是a，因此状态7的a转换到状态1。若添加的是b，那么最后三个字符是bbb，不存在由a开始的后缀，因此状态7的b转换到状态0。 这样，所有状态的a转换和b转换都已给出，也就得到了最后结果。 1.11 将1.8得到的NFA变换成DFA。 答案 所求的DFA就是1.10题的结果。 分析 我们之所以选这个题目，是为了比较一下，从正规式到NFA，再把NFA确定化，这样得的结果同1.10题直接构造DFA的结果是否一样。 按照教材上的子集构造法，作为结果的DFA并不难得到。另外由于没有(转换，构造过程相对简单了很多。 NFA的开始状态是0，因此首先从NFA的状态集合{0}开始，它是DFA的开始状态，起名叫状态0(。它的a转换和b转换所得到的NFA的状态集合见下面第一行。根据子集构造法所得的DFA的所有状态和它们的转换函数都列在下面。 状态0(:{0} move ({0}, a) = {0, 1} move ({0}, b) = {0} 状态1(:{0, 1} move ({0, 1}, a) = {0, 1, 2} move ({0, 1}, b) = {0, 2} 状态2(:{0, 1, 2} move ({0, 1, 2}, a) = {0, 1, 2, 3} move ({0, 1, 2}, b) = {0, 2, 3} 状态3(:{0, 2} move ({0, 2}, a) = {0, 1, 3} move ({0, 2}, b) = {0, 3} 状态4(:{0, 1, 2, 3} move ({0, 1, 2, 3}, a) = {0, 1, 2, 3} move ({0, 1, 2, 3}, b) = {0, 2, 3} 状态5(:{0, 2, 3} move ({0, 2, 3}, a) = {0, 1, 3} move ({0, 2, 3}, b) = {0, 3} 状态6(:{0, 1, 3} move ({0, 1, 3}, a) = {0, 1, 2} move ({0, 1, 3}, b) = {0, 2} 状态7(:{0, 3} move ({0, 3}, a) = {0, 1} move ({0, 3}, b) = {0} 状态4(, 5(, 6(和7(中都含原NFA的接受状态3，因此它们都是DFA的接受状态。不难看出所得的DFA和1.10题的结果是同构的，仅状态名不一样。 2 0 1 3 4 5 6 7 a a b b a a b b start b a a b a b a b 图1.11 接收(a | b)( a (a | b) (a | b)的DFA 2 0 1 3 4 5 6 7 a a b b a a b b start 图1.12 构造过程的第一步