形式语言与自动机.pptVIP

CollegeofComputerScienceTechnology,BUPTCollegeofComputerScienceTechnology,BUPT形式语言与自动机第1页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPT?-NFA的形式定义一个?-NFA是一个五元组A=(Q,T,?,q0,F).有限状态集有限输入符号集转移函数一个开始状态一个终态集合q0?QF?Q与NFA的不同之处?:Q?(T????)?2Q第2页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPT?-NFA如何接受输入符号串q1q0q2q3q5??,+,–q4该?-NFA可以接受的字符串如：3.14+.314–314.第3页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPT二、?-闭包（closure）概念状态q的?-闭包，记为?-CLOSURE或ECLOSE，定义为从q经所有的?路径可以到达的状态（包括q自身），如：q0q1q2012εε?-CLOSURE(q0)={q0,q1,q2}?-CLOSURE(q1)={q1,q2}?-CLOSURE(q2)={q2}第4页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPT状态子集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的边可以到达的状态集合第5页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPT例：I＝{q0，q1}，求I1I1＝ε-CLOSURE（δ（I，1））＝ε-CLOSURE（δ（{q0，q1}，1））＝ε-CLOSURE（Φ∪{q1}）＝{q1，q2}q0q1q2012εε第6页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPT扩展转移函数适合于输入字符串设一个?-NFA,?:Q?T?????2Q扩充定义??:Q?T*?2Q对任何q?Q，定义：1??(q,?)=ECLOSE(q)2δ(q，ωa)＝ε-CLOSURE(P)其中P＝{p|存在r∈δ(q，ω)∧p∈δ(r，a)}注意：此时δ(q，a)?δ(q，a)，因为δ(q，a)表示由q出发，只沿着标a的路径所能到达的状态，而δ(q，a)表示由q出发，沿着标a(包括ε转换在内)的路径所能到达的状态.第7页，共38页，星期日，2025年，2月5日**CollegeofComputerScienceTechnology,BUPTε-NFA中，δ与δ’函数的不同举例计算??(q0,a)δ(q0，ε)＝ε-CLOSURE(q0)＝{q0，q2}δ(q0，a)＝ε-CLOSURE(δ(δ(q0，ε)，a))＝ε-CLOSURE(δ({q0，q2}，a))＝ε-CLOSURE(δ(q0，a)∪δ(q2，a))＝ε-CLOSURE({q1}∪{q3})＝{q1，q2}∪{q3}＝{q1，q2，q3}同理：δ(q0，aa)＝{q3}ε-C