第3章-3-有限自动机.pptVIP

习题 1.构造正规式对应的DFA，并化简。 R=(a*|b*)b(ba)* R=b*abb*(abb*)* 2.求文法对应的正规式 S?0B B ?0B|1S|0 习题 3.写出下面DFA的右线性文法和正规式 4.设，请写出不以a开头，但是以aa结尾的字符串集合的正规式，并构造NFA、DFA。 * * * * 习题 * * * * * K’={[S]} f([S],a)=[A] f([S],b)=[B] K’={[S],[A],[B]} f([A],a)=[Z] f([A],b)=[B] f([B],a)=[AB] f([B],b)=[Z] K’={S],[A],[B],[Z],[AB]} f([Z],a)=[AZ] f([Z],b)=φ f([AB],a)=[ABZ] f([AB],b)=[BZ] K’={S],[A],[B],[Z],[AB],[AZ], [BZ],[ABZ]} f([AZ],a)=[AZ] f([AZ],b)=[B] f([BZ],a)=[ABZ] f([BZ],b)=[Z] f([ABZ],a)=[ABZ] f([ABZ],b)=[BZ] a b S A B a b Z b a a a a 有效子集法举例 输入 状态 a b [S] [A] [B] [A] [Z] [B] [B] [AB] [Z] [Z] [AZ] ? [AB] [ABZ] [BZ] [AZ] [AZ] [B] [BZ] [ABZ] [Z] [ABZ] [ABZ] [BZ] 根据左边状态转换矩阵，可以得到DFA M’的状态集合（表的左列状态），即 K’={[S],[A],[B],[Z],[AB],[AZ],[BZ],[ABZ]} a b S A B a b Z b a a a a 有效子集法举例 S B AB ABZ A Z BZ AZ b b b b b b b a a a a a a a a 开始状态:[S] 终止状态:[Z],[AZ],[BZ],[ABZ] 画出它的状态转换图（如下）。 终态集合中的元素为：由新映像得到的状态、 且这些状态包含原NFA M的终态集合中的状态。 有效子集法举例 四、具有?动作的FA 0 1 2 3 ? ? ? a b b c 若在一FA中,允许对?也作状态转移,则这样的FA称为具有?动作的FA(NFA).此时,有的矢线上标记为? 标记为? 的矢线对识别符号串无影响,但却改变了当前的状态. 例如,右图中的FA中,从状态0到状态3存在路径: 0(a) ?0(a)?0(?) ?2(c) ?2(c) ?2(?) ?3,即M识别了aa?cc?=aacc. 四、具有?动作的FA 具有?动作的NFA M=(K,?,f,S0,Z),其中, K,?,S0,Z的定义与NFA相同, f的定义为 f:K?(??{?})? 2k. ?可以视为一个输入符号,在矩阵表示中,也有相应的列. 0 1 2 3 ? ? ? a b b c a b c ? 0 0 ? ? 1,2 1 ? 1,3 ? ? 2 ? ? 2 3 3 ? ? ? ? 四、具有?动作的FA f也可以拓广到f’:K??* ? 2k. f’(S,x)是由这样的状态Q组成,存在从S到Q的路径,该路径上的连线标记组成的符号串恰好为x,其中,允许有有限个标记为? 状态S的?-闭包：?-CLOSURE(S)每个状态S的?-闭包的定义： ?-CLOSURE(S),它是从S出发经过若干标记为?的矢线所能达到的全部状态之集，其归纳定义如下： (1)S??-CLOSURE(s); (2)设Sj??-CLOSURE(S),且Sj ?? Sk,则Sk??-CLOSURE(S); (3)有限地使用规则（2）所得的集合为?-CLOSURE(S). 设Q是K的某一子集，设Q={Si1,Si2,…,Sim}，则 例，在上页的NFA中， ?-CLOSURE(0)={0,1,2,3} ?-CLOSURE(1)={1} ?-CLOSURE(2)={2,3} ?-CLOSURE(3)={3}. 转换函数f的拓广 利用?-CLOSURE(S)，可定义f’如下： ‘ 四、具有? 动作的FA f与f’的区别 由f’的定义可知，f’(S,a) 与f(S,a) 不同，f’(S,a)是从S出发经过路径a据达的状态集（可走若干步）；而f(S,a)是从S出发经过矢线a所达状态之集（只走一步） 其实， f(S,a) ? ?-CLOSURE(f(S,a)) ? f’(S,a) 只走一步a矢线 | 多步，