第4章 词法.ppt

NFA的确定化 例子 等价的DFA 4.4 正则文法与自动机 定理3.7 3型文法的句型形如ωX,其中ω∈VT+，X∈(VN∪VT)。 定理3.8 3型文法与产生式的形式为A→ωB或C→ω型的文法等价,其中ω∈VT+。 例子: S→abS|aaB|d B→bbB|b 转化：S→aS’|aR|d S’→bS R→aB B→bB’|b B’→bB 定理3.9 3型文法与自动机等价 自动机A=(S， ?，?，s0，F) 3型文法G=(VN，VT，P，Z) 转换规则： ① 文法没有表示终止的符号，需要添加一个大写字母，表示结束状态。 ② 大写字母对应自动机的状态集。 ③ 小写字母对应自动机的字母表。 ④ 文法的初始符为初始状态。 ⑤ 产生式B→b转换为 b B - 产生式Z→bB转换为 b Z B ⑥ 去掉多余状态 例子:设有3型文法如下 G1:Z→aZ|bB|c B→dB|b 等价自动机A1=(S,Σ,δ,s0,F)如下: S=｛Z,B,K｝ Σ=｛a,b,c,d｝ S0=｛Z｝ F=｛K｝ δ(Z,a)=Z, δ(Z,b)=B, δ(Z,c)=K, δ(B,d)=B, δ(B,b)=K c a d b b K B Z + - 注意：如果给定文法可以化简应进行化简再转换。 Y为非终止状态：X→aY Y为有输出边的终止状态X→aY|a Y为无输出边的终止状态X→a 自动机A=(S， ?，?，s0，F) 3型文法G=(VN，VT，P，Z) a X Y 例子:自动机A2如下图,求等价3型文法 b b b a a a B M Z b R - + - - 等价3型文法 G2=(VN,VT,P,S)如下: VN=｛Z,B,M｝R是终止状态没有输出边去掉 VT=｛a,b｝ S=Z P=｛Z→aM|bB|a|b B→aB|bZ|a|b M→bM|b|a｝ 说明: Z→aM|a Z→bB|b 去除等价状态：从状态A出发，能读出某一字符串x而停于终态，从状态B出发也能得出同一字符串停止于终态；反之亦然。 1 2 a + - 3 b c 例子：简化自动机 Q 1 1 + P Z 1,0 0 1 + - QPZ [P] -[QPZ] [P] [P] -[Z] [QPZ] [P] -[QZ] [Z] [P] [QZ] [P] +[PQ] 1 0 设PQ、P、QZ、Z、QPZ分别为A、B、C、D、E。则转化为一个起点得到下图： A 1,0 1 - C B 1 0 0 1 + - D E 0 1 - 去除等价状态：按终止状态和非终止状态可将其分为两部分：{A,B}，{C,D,E}。 {A,B} {A},{B} 01 1 {C,D,E} {C,E},{D}所以CE等价。 A 1,0 - C B 1 0 1 + - D 0 1 最终得到的状态图如下： 例子：将下图中的DFA M最小化。 1 - a + - - a a a a a a b b b b b b b 3 5 6 4 7 2 按终止状态和非终止状态可将其分为两部分：{1,2,3,4}，{5,6,7}。 a {1,2,3,4} {1,2},{3,4} {3,4} {3},{4}。其中1,2等价 aa {5,6,7} {5},{6,7}。其中6,7等价 a 在1,2和6,7之中去除一个即可得到最小化的DA。 1 - a + - - a a a a a a b b b b b b b 3 5 6 4 7 2 1 a + - - a a a b b b b b 3 5 6 4 a 例子：确定化和最小化下面自动机 a 1 +- b 3 5 2 4 0 a a a b b b b b a a a b +-0 1 2 1 1 4 2 1 3 4 0 5 3 3 2 5 5 4 由此可知该自动机为确定自动机。 根据状态分为：{0}{1,2,3,4,5} {1,2,3,4,5} {1,5}{2,3,4} ba {2,3,4} {2}{3,4} aba {3,4} {3}{4} a 所以1、5状态等价。 a 1 +- b 3 2 4 0 a a a b b b a b 最小化自动机如下图： 例子：将下图最小化，并描述它所标识的语言。 6 b 2 + a 3 4 1 b c a b b c - 7 - 5 b