正则表达式化为NFA讲义.docVIP

利用有限自动机分析正则表达式 1、概念 2、将正则表达式转换为NFA(Thompson构造法) 算法: 将正则表达式转换为NFA(Thompson构造法) 输入: 字母表Σ上的正则表达式r 输出: 能够接受L(r)的NFA 方法: 首先将构成r的各个元素分解，对于每一个元素，按照下述规则1和规则2生成NFA。 注意: 如果r中记号a出现了多次，那么对于a的每次出现都需要生成一个单独的NFA。 之后依照正则表达式r的文法规则，将生成的NFA按照下述规则3组合在一起。 规则1: 对于空记号ε，生成下面的NFA。 规则2: 对于Σ的字母表中的元素a，生成下面的NFA。 规则3: 令正则表达式s和t的NFA分别为N(s)和N(t)。 对于s|t，按照以下的方式生成NFA ?N(s|t)。 对于st，按照以下的方式生成NFA ?N(st)。 对于s*，按照以下的方式生成NFA N(s*)。 ④对于(s)，使用s本身的NFA? N(s)。 根据正则表达式?r=(a|b)*abb?可以生成以下的NFA。 将NFA转化为DFA 算法 使用以下的算法可以将NFA转换成等价的DFA。 算法2: 将NFA转化为DFA 输入: NFA?N 输出: 能够接受与N相同语言的DFA?D 方法: 本算法生成D对应的状态迁移表Dtran。DFA的各个状态为NFA的状态集合， 对于每一个输入符号，D模拟N中可能的状态迁移。 定义以下的操作。 操作 说明 ε-closure(s) 从NFA的状态s出发，仅通过ε迁移能够到达的NFA的状态集合 ε-closure(T) 从T中包含的某个NFA的状态s出发，仅通过ε迁移能够到达的NFA的状态集合 move(T, a) 从T中包含的某个NFA的状态s出发，通过输入符号a迁移能够到达的NFA的状态集合 令 Dstates 中仅包含ε-closure(s), 并设置状态为未标记; while Dstates中包含未标记的状态T do begin 标记T; for 各输入记号a do begin U := ε-closure(move(T, a)); if U不在Dstates中 then 将 U 追加到 Dstates 中，设置状态为未标记; Dtrans[T, a] := U; end end ε-closure(T)的计算方法如下： 将T中的所有状态入栈; 设置ε-closure(T)的初始值为T; while 栈非空 do begin 从栈顶取出元素t; for 从t出发以ε为边能够到达的各个状态u do if u不在ε-closure(T)中 then begin 将u追加到ε-closure(T)中; 将u入栈; end end 示例 将上面生成的NFA转化为DFA。 最初，Dstates内仅有ε-closure(0) = A = {0, 1, 2, 4, 7}。然后对于状态A，对于输入记号a，计算?ε-closure(move(A, a))?=ε-closure(move({0, 1, 2, 4, 7}, a)) =?ε-closure({3, 8}) = {1, 2, 3, 4, 6, 7, 8}， 即 B={1, 2, 3, 4, 6, 7, 8},?Dtran[A, a]=B。 对于状态A，由输入记号b能够到达的仅有4-5，因此 C =?ε-closure({5}) = {1, 2, 4, 5, 6, 7}， 即?Dtran[A, b] = C。 以此类推，可得到以下的状态和Dtran。 A = {0, 1, 2, 4, 7} D = {1, 2, 4, 5, 6, 7, 9} B = {1, 2, 3, 4, 6, 7, 8} E = {1, 2, 4, 5, 6, 7, 10} C = {1, 2, 4, 5, 6, 7} 状态 输入符号 a b A B C B B D C B C D B E E B C 由此得出DFA如下图所示。 希腊字母表 字母名称 大写字母 小写字母 字母名称 大写字母 小写字母 Alpha Α α Nu Ν ν Beta Β β Xi Ξ ξ Gamma Γ γ Omicron Ο ο Delta Δ δ Pi Π π Epsilon Ε ε Rho Ρ ρ Zeta Ζ ζ Sigma Σ σ Eta Η η Tau Τ τ Theta Θ θ Upsilon Υ υ Iota Ι ι ? Phi Φ φ Kappa Κ κ Chi Χ χ La