《理论计算机科学基础》.ppt

《理论计算机科学基础》 例2.14 L(N2)={w|w倒数第3个字母为1} ?={0,1} 确定型: 记忆最后3个字母 q000 q101 q001 q100 q111 q110 q010 q011 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 《理论计算机科学基础》 例2.14 L(N2)={w|w倒数第3个字母为1} ?={0,1} 确定型: 记忆最后3个字母 q000 q101 q001 q100 q111 q110 q010 q011 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 《理论计算机科学基础》 例2.14(比较) q1 q2 q3 0,1 0, 1 1 q4 0,1 q000 q101 q001 q100 q111 q110 q010 q011 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 《理论计算机科学基础》 例2.15 一元字母表上语言称为 筹码集(Tally Sets) 0 0 0 0 0 N3 ? ? 《理论计算机科学基础》 例2.15 L(N3) = { 0k | k是2或3的倍数 } 0 0 0 0 0 N3 ? ? 《理论计算机科学基础》 例2.16 N4接受?, a, baba, baa, 拒绝b, bb, babba. q1 q2 q3 a, b ? a N4 b a 《理论计算机科学基础》 NFA的形式定义 定义2.17: 非确定型有穷自动机 N = (Q,?,?,q0,F), 其中 Q: 有穷状态集 ?: 输入字母表; ( ??=??{?} ) ?: Q????P(Q), 转移函数 q0?Q: 初始状态 F?Q: 接受状态(终结状态) 《理论计算机科学基础》 例2.18 N1=(Q,?,?,q1,F); Q={q1,q2,q3,q4}; ?={0,1}; F={q4}; ?表 0 1 ? q1 {q1} {q1,q2} ? q2 {q3} ? {q3} q3 ? {q4} ? q4 {q4} {q4} ? q1 q2 q3 0,1 0, ? 1 q4 0,1 1 N1 《理论计算机科学基础》 NFA计算的形式定义 NFA N=(Q,?,?,q0,F) 输入w=w1w2…wm 计算: 状态序列 r0,r1,…,rm r0=q0 ri+1??(ri,wi+1) (i=0,1,…,m-1) 接受计算: rm?F M接受w: 存在接受计算 L(M)={x | M接受x} 《理论计算机科学基础》 N1在1101上的计算 q1 q2 q3 0,1 0, ? 1 q4 0,1 1 q1 1 q1 q2 1 1 q1 q2 ? 1 q3 1 q4 0 0 q1 ? 0 q3 1 q4 q4 1 ? 0 q3 q4 1 1 1 q1 q2 接受 接受 拒绝 拒绝 拒绝 q3 拒绝 计算1: q1,q1,q1,q1,q1 计算2: q1,q1,q1,q1,q2 计算4: q1,q1,q2,q3,q4 计算5: q1,q1,q2,q3 计算7: q1,q2,q3,q4,q4,q4 计算3: q1,q1,q1,q1,q2,q3 ? 计算6: q1,q2 《理论计算机科学基础》 NFA与DFA的等价性 等价: 两台机器识别同样的语言. 《理论计算机科学基础》 NFA与DFA的等价性 等价: 两台机器识别同样的语言. 定理2.19:每台NFA都有等价DFA. 《理论计算机科学基础》 NFA与DFA的等价性 定理2.19:每台NFA都有等价DFA. 证明思路: 给定NFA, 构造等价DFA 用DFA模拟NFA DFA记住NFA的所有分支 设NFA有k个状态, 则共有2k个不同状态子集合 ?闭包: 对每个状态子集合, 经?移动 可到达的新状态子集合 《理论计算机科学基础》 例2.21(续例2.16) 1 2 3 a,b b a ? a N4=({1,2,3},{a,b},?,1,{1}) 求等价的DFA. 《理论计算机科学基础》 例2.21 1 2 3 a,b b a ? a ? {2} {3} {1,3} {2,3} {1,2,3} {1} {1,2} 写出子集状态 《理论计算机科学基础》 例2.21 1 2 3 a,b b a ? a ? {2} {3} {1,3} {2,3} {1,2,3} {1} {1,2} 求?闭包 E({1})={1,3} 《理论计算机科学基础》 例2.21 添加转移 1 2 3 a,b b a ? a ? a,b {3} {1,3} {2,3} {1,2,3} a a a a a b b b b a,b a b