第四章正则表达式.pptVIP

4.3.1RE到FA的等价变换r=r1r2第30页，共58页，星期日，2025年，2月5日4.3.1RE到FA的等价变换M=(Q1∪{q0,f},∑,δ,q0,{f})其中q0,f?Q1,定义δ为①?对?q∈Q1-{f1},a∈∑, δ(q,a)=δ1(q,a)。②?δ(f1,ε)={q01,f}。③δ(q0,ε)={q01,f}。第31页，共58页，星期日，2025年，2月5日4.3.1RE到FA的等价变换r=r1*第32页，共58页，星期日，2025年，2月5日4.3.1RE到FA的等价变换按照定理4-1证明给出的方法构造一个给定RE的等价FA时,该FA有可能含有许多的空移动。可以按照自己对给定RE的“理解”以及对FA的“理解”“直接地”构造出一个比较“简单”的FA。定理证明中所给的方法是机械的。由于“直接地”构造出的FA的正确性依赖于构造者的“理解”,所以它的正确性缺乏有力的保证。第33页，共58页，星期日，2025年，2月5日4.3.1RE到FA的等价变换例4-3构造与(0+1)*0+(00)*等价的FA。第34页，共58页，星期日，2025年，2月5日4.3.1RE到FA的等价变换按照对(0+1)*0+(00)*的“理解”“直接地”构造出的FA。0S101第3