第四章正则表达式.pptVIP

4.3.1 RE到FA的等价变换 r=r1r2 第三十页，共五十八页，2022年，8月28日 4.3.1 RE到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}。 第三十一页，共五十八页，2022年，8月28日 4.3.1 RE到FA的等价变换 r=r1* 第三十二页，共五十八页，2022年，8月28日 4.3.1 RE到FA的等价变换 按照定理4-1证明给出的方法构造一个给定RE的等价FA时,该FA有可能含有许多的空移动。 可以按照自己对给定RE的“理解”以及对FA的 “理解” “直接地”构造出一个比较“简单”的FA。 定理证明中所给的方法是机械的。由于“直接地”构造出的FA的正确性依赖于构造者的“理解”,所以它的正确性缺乏有力的保证。 第三十三页，共五十八页，2022年，8月28日 4.3.1 RE到FA的等价变换 例 4-3 构造与 (0+1)*0+(00)*等价的FA。 第三十四页，共五十八页，2022年，8月28日 4.3.1 RE到FA的等价变换 按照对(0+1)*0+(00)*的“理解” “直接地”构造出的FA。 0 S 1 0 1 第三十五页，共五