3正则式与正则集.pptVIP

fall 2001 第四节 有? 转换的NFA 一、定义 概念: 当输入空串ε (无输入) 时，也能引起状态的转移. 例： 状态子集I 的ε-闭包： ε-CLOSURE(I)＝ ∪ ε-CLOSURE(q) q∈I 例： ε-CLOSURE({q1，q2}) ＝ε-CLOSURE(q1) ∪ε-CLOSURE(q2) ＝{ q1，q2} Ia 概念： 对于状态子集I ? Q，任意a∈T，定义Ia如下： Ia= ε-Closure(P) 其中P =δ（I，a）. 即P是从I中的状态经过一条标a的边可以到达的状态集合 四、有 ? 转换的NFA与无 ? 转换的NFA的等价 1. ? -NFA==NFA 具有?转移的NFA是不具?转移的NFA的一般情况, 所以只要证明下面的定理即可: 定理: 如果L被一个具有 ? 转移的NFA接收, 那么L可被一个不具 ? 转移的NFA 接收. 证明思路: 构造一个不具 ? 转移的NFA, 证明其接收具有 ? 转移的NFA所接受的语言. 设当|ω|=n时，δ1（q0,ω）=δ’（q0, ω），则当|ω|=n+1时， 左侧＝ δ1（q0,ωa） ＝δ1 (δ1（q0，ω），a) ＝δ1 (δ’（q0，ω），a) 由归纳假设 ＝δ1 (R，a) 设R＝δ’（q0，ω） ＝∪δ1 (q，a) q ∈R ＝∪δ’ (q，a) q ∈R. 由δ1定义 ＝δ’ (R，a) ＝δ’(δ’（q0，ω），a) ∵ R＝δ’（q0，ω） ＝δ’ (q0，ωa) ＝ 右侧 再证: δ1（q0，ω）含F1的一个状态当且仅当δ’（q0， ω）含F的一个状态 （略） 证明同时展示了一种将 ? -NFA转化为NFA的方法. ? -NFA == NFA == DFA 例：将 ? -NFA转换为NFA. （图3.4.1，3.4.3） *College of Computer Science Technology, BUPT 带 ? -转移的有限自动机 正则表达式 右线性文法与正则集 第三章 有限自动机与右线性文法 输入“002”时的转移格局： q0 q1 q2 0 1 2 ε ε ? - NFA 的形式定义 一个 ? - NFA 是一个五元组 A = (Q, T, ?, q0 , F ). 有限状态集 有限输入符号集 转移函数 一个开始状态 一个终态集合 q0 ? Q F ? Q 与 NFA 的不同之处 ? : Q ? (T ? ? ? ?) ? 2Q ? - NFA 如何接受输入符号串 q1 q0 q2 q3 q5 ? ? ,+,– q4 该 ? - NFA 可以接受的字符串如： 3.14 +.314 – 314. 二、 ? - 闭包（closure）概念 状态 q 的? - 闭包，记为 ? - CLOSURE 或ECLOSE ，定义为从 q 经所有的? 路径可以到达的状态（包括q自身）， 如： q0 q1 q2 0 1 2 ε ε ? - CLOSURE (q0 ) = {q0 , q1 , q2 } ? - CLOSURE (q1 ) = { q1 , q2 } ? - CLOSURE (q2 ) = {q2 } 例：I＝{q0，q1}，求I1 I1 ＝ε-CLOSURE（δ（I，1）） ＝ε-CLOSURE（δ（{q0，q1}，1）） ＝ε-CLOSURE（Φ∪{q1 }） ＝{q1，q2} q0 q1 q2 0 1 2 ε ε 扩展转移函数适合于输入字符串 设一个 ? - NFA, ? : Q ? T ? ? ? ? ? 2Q 扩充定义 ??: Q ? T* ? 2Q 对任何q ? Q，定义： 1 ?? (q , ?) = ε-CLOSURE (q ) 2 δ(q，ωa)＝ε-CLOSURE(δ(δ(q，ω),a)) (=ε-CLOSURE(P)) 其中P＝{ p| 存在r∈δ(q，ω) ∧ p∈δ(r，a)} 注意：此时δ(q，a) ?δ(q