编译原理 3章.pptVIP

第3章 习题 作业 3.4 * 练习 设字母表∑：{a,b}，给出∑上的一个正则式b*abb*(a*bb)*。 ①构造该正则式所对应的NFA(画出转换图)； ②将所求的NFA确定化(画出DFA的转换图)； ③将所求的DFA最小化(画出极小化后的转换图)； * 第3章 有穷自动机 编译原理 陈炬桦 isscjh@mail,sysu.edu.cn * 有穷自动机的形式定义 定义3.1 一个确定型有穷自动机DFA是一个五元组 DFA=（Q ,Σ , t, q0, F） Q：非空有穷状态集； Σ：有穷输入字母表； t：是一个单值映射 t(q,a) ? q’ q0：开始状态， q0∈Q F：非空终止状态集 * DFA状态转换(左表)图 a b q0 q1 q3 q1 q0 q2 q2 q3 q1 q3 q2 q0 * 有穷自动机的扩充的映射 定义 3.2 DFA=（Q ,Σ , t, q0, F） 扩充的映射 t： 定义为 ① t(q,ε)=q ② t(q,aα)= t(t(q,a),α) 定义 3.3 DFA=（Q ,Σ , t, q0, F）， 如果 t(q0,α)=q∈F，称α为DFA接收。 定义 3.4 两个有穷自动机A1和A2， 如果L(A1)=L(A2)，则称自动机A1与A2等价。 * 非确定型有穷自动机NDFA 定义 3.5 一个非确定型有穷自动机NDFA是一个五元组 NDFA=(Q ,Σ , t, Q0, F) t：是一个多值映射 Q0：开始状态集, Q0 Q 例3.6 NDFA * NDFA到DFA的转换 空移环路的寻找和消除 * NDFA到DFA的转换 消除空移 如果B是终止状态，置A为终止状态； 如果A是开始状态，置B为开始状态； * 确定化——子集法 设NDFA A=（Q ,Σ , t, Q0, F）设一个非确定型有穷自动机，它的语言为L（A）,可以构造一个与它等价的确定型有穷自动机 DFA A’=（Q ,Σ , t, q0, F）, L（A）= L（A’） * 确定化——造表法 x y [q0] [q1,q2] [q0] [q1,q2] [q0,q3] [q1,q2,q3] [q0,q3] [q1,q2,q3] [q0,q3] [q1,q2,q3] [q0,q1,q3] [q1,q2,q3] [q0,q1,q3] [q0,q1,q2,q3] [q0,q1,q2,q3] [q0,q1,q2,q3] [q0,q1,q2,q3] [q0,q1,q2,q3] * x y [q0] q0’ [q1,q2] q1’ [q0] q0’ [q1,q2] q1’ [q0,q3] q2’ [q1,q2,q3] q3’ [q0,q3] q2’ [q1,q2,q3] q3’ [q0,q3] q2’ [q1,q2,q3] q3’ [q0,q1,q3] q4’ [q1,q2,q3] q3’ [q0,q1,q3] q4’ [q0,q1,q2,q3] q5’ [q0,q1,q2,q3] q5’ [q0,q1,q2,q3] q5’ [q0,q1,q2,q3] q5’ [q0,q1,q2,q3] q5’ * εNDFA的确定化 εNDFA=（Q ,Σ∪{ε}, t, Q0, F） 定义 3.8 状态子集 I的ε-闭包， ε-closure (I)={q | t (I, ε)=q} 定义 3.9 Ia=ε-closure (J)，其中J=t (I,a) * εNDFA的确定化举例 ? Ix Iy [S] [1,2,3] [1,2,3] [4] [2,3,5] [4] ? [6,7,8] [2,3,5] [4,6,7,8] [2,3,5] [6,7,8] [7,8] [4,6,7,8] [7,8] ? [6,7,8] [7,8] [7,8] * DFA的化简 1 终止状态与非终止状态可区分的，分成子集 2 对所有子集对所有输入符号判断，如果可区分则分解子集 3 如果2有分解子集，转2，否则结束。 从化简的DFA到程序设计 * DFA的化简举例 x y 0, 2② × 0 | 2 1,3,4,5①× 1 | 3,4,5 B 1 D 3,4,5 A 0 C 2 * 正规文法与有穷自动机 从正规文法到FA G={VN，VT，P，S}