编译原理课程第3讲.pptVIP

* * 比较手工构造的NFA和用教材上语法制导的算法构造的NFA。鼓励学生写出引入尽可能少的? 转换的语法制导的算法，在将来的解题中使用这个算法。 * 《编译原理习题精选》1.5题。 * * 习 题 2.7 (c) (d), 2.8 ( 仅为2.7(c) )， 2.12（a） 练习：构造 DFA，接受 0和1的个数都是偶数的二进制串。 eg: 0011, 00, 1100, 1010, 111100 * 例：DFA,接受 0和1的个数都是偶数的字符串 3 1 2 0 1 1 1 1 0 0 0 0 开始 偶0偶1 奇0奇1 奇0偶1 偶0奇1 2.3 有 限 自 动 机 * * * * * * * * * * * * 从转换表构造转换图。 * 将前面的DFA和现在的DFA进行比较，引出DFA化简问题。 * 将手工构造的NFA和由算法构造的NFA进行比较，鼓励在掌握算法的同时，学会手工构造简单的DFA。 * * * * * * * * * * * * * * * * * 2.3 有 限 自 动 机 B D 开始 a A a b b a a, b C b a E b 2.3.4 DFA的化简 死状态 左图无须加死状态，右图加入死状态E。 B D 开始 a A a b b a b C b a * 2.3 有 限 自 动 机 可区别的状态 A和B是可区别的状态 A和C是不可区别的状态 B D 开始 a A a b b a b C b a * 2.3 有 限 自 动 机 方法 1. {A, B, C}, {D} move({A, B, C}, a} = {B} move({A, B, C}, b} = {C, D} 2. {A, C}, {B}, {D} move({A, C}, a} = {B} move({A, C}, b} = {C} B D 开始 a A a b b a b C b a * 2.3 有 限 自 动 机 方法 1. {A, B, C}, {D} move({A, B, C}, a} = {B} move({A, B, C}, b} = {C, D} 2. {A, C}, {B}, {D} move({A, C}, a} = {B} move({A, C}, b} = {C} B D 开始 a A a b b a b C b a 1 2 开始 a 0 a b b a b * 2.4 从正规式到有限自动机 正规式 计算机实现 状态转换图 有限自动机 不确定有限自动机 确定有限自动机 等价 ？ 本节内容 * 2.4 从正规式到有限自动机 首先构造识别?和字母表中一个符号的NFA i 开始 ? 识别正规式?的NFA a f i f 开始 识别正规式a的NFA * 2.4 从正规式到有限自动机 构造识别主算符为选择的正规式的NFA ? f i 开始 识别正规式s | t的NFA N (s) N (t) ? ? ? * 2.4 从正规式到有限自动机 构造识别主算符为连接的正规式的NFA i N (s) f 开始 识别正规式st 的NFA N (t) * 2.4 从正规式到有限自动机 构造识别主算符为闭包的正规式的NFA N (s) f 开始 识别正规式s* 的NFA i ? ? ? ? * 2.4 从正规式到有限自动机 对于加括号的正规式(s)，使用N(s)本身作为它的NFA。 * 2.4 从正规式到有限自动机 本方法产生的NFA有下列性质: N(r)的状态数最多是r中符号和算符总数的两倍。 N(r)只有一个开始状态和一个接受状态，接受状态没有向外的转换。 N(r)的每个状态有一个用?的符号标记的指向其它结点的转换，或者最多两个指向其它结点的?转换。 * 2.4 从正规式到有限自动机 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 * 2.4 从正规式到有限自动机 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 * 2.4 从正规式到有限自动机 ? 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ? ? ? r9 r7 r8 r4 r3 r5 r6 * ) ( r2 r1 a | b a b (a|b)*ab的分解 * 2.4 从正规式到有限自动机 1 9 开始 ? 0 a b ? a b 6 7 8 2 3 4 5 ? ? ?