编译原理-练习.ppt

编译原理——练习1 王金伟 计算机与信息工程学院 天津师范大学 练习1.1 基本概念 编译程序的结构 上下文无关文法的一些概念 词法分析 语法分析 自上而下 自下而上 1.填充下面编译程序总框图 练习1.2 词法分析 对于∑上的每一个正规式V，存在一个∑上的DFA M，使得L(M) = L(V) 问题：如何由一个正规式V，构造一个DFA M 思路：分两步走 1.根据V，构造一个NFA M’，使得L(M’) = L(V) 2.将M’确定化，变为DFA M 第一步，在∑上构造一个NFA M’ (1)构造一个拓广的转换图 第二步，把M’确定化 (1)两个概念 定义1：假定I是M’的状态集的子集，定义I的ε闭包ε_CLOSURE(I)为： (a)若q∈I，则q∈ε_CLOSURE(I) (b)若q∈I，那么从q出发经任意条ε弧而能到达的任何状态q’都属于ε_CLOSURE(I) ； 定义2：假定I是M’的状态集的子集，定义 Ia =ε_CLOSURE(J) 其中，J是所有那些可从I中的某一状态结点出发经过一条a弧而到达的状态结点的全体 例：有如下一个状态转换图 假定 I={1, 2}，求Ia = ？ 解： Ia =ε_CLOSURE(J) J = { } ε_CLOSURE(J) = { } Ia={5, 6, 2, 4, 7, 3, 8} (2)用子集法把M’确定化 设 ∑ = {a，b} ① 构造一张表 1.构造下列正规式相应的DFA。 (1) 1(0|1)*101 (2) 0*10*10*10* ① ② ⑤ 用子集法对M’进行确定化 ①构造一张表 把DFA M’进行化简 解: ①把M状态集分为两组: 终态结点{5} 非终态结点{0，1，2，3，4} ②考察{0，1，2，3，4} 因为， {0，1，2，3，4}0 = {0，1，2，3，4}1 = 所以， {0，1，2，3，4}可再分，分成{0,1,2,3}和{4} ③考察{0，1，2, 3} 因为， {0,1,2,3}0 = 所以， {0,1,2,3}必可再分 看图，把{0,1,2,3}分割为{0,1,2}和{3} ④考察{0,1,2} 因为， {0,1,2}0 = {0,1,2}1 = 所以， {0,1,2}必可再分 看图，把{0,1,2}分割为{0}， {1,2} ⑤考察{1,2} 因为， {1,2}0 = {1,2}1 = 所以{1,2}不可再分 所以， 最终把M分割为{0}， {1,2} ， {3} ， {4} ， {5} ⑥用状态2代替状态1，把引向状态1的箭弧都引向状态2，把1消去，得到一个DFA M’ ① ② (3) 例:把DFA M’进行化简 解: ①把M状态集分为两组: 终态结点{6,7} 非终态结点{0,1,2,3,4,5} ②考察{6,7} 因为， {6,7}0 = {6,7}1 = 所以， {6,7}不可再分； ③考察{0,1,2,3,4,5} 因为， {0,1,2,3,4,5}0 = {0,1,2,3,4,5}1 = 看图，把{0,1,2,3,4,5}分割为{0,1,2,3}和{4,5} ④考察{4,5} 因为， {4,5}0 = {4,5}1 = 所以， {4,5} 不可再分 ⑤考察{0,1,2,3} 因为， {0,1,2,3}0 = {0,1,2,3}1 = 所以{0,1,2,3}可再分 看图，把{0,1,2,3}分割为{0,1}和{2,3} ④考察{2,3} 因为， {2,3}0 = {2,3}1 = 所以， {2,3} 不可再分 ⑤考察{0,1} 因为， {0,1}0 = {0,1}1 = 所以， {0,1} 不可再分 所以， 最终把M分割为{0,1}， {2,3} ， {4,5} ， {6,7} ⑤用状态1代替状态0，把引向状态0的箭弧都引向状态1，把0消去； 用状态3代替状态2，把引向状态2的箭弧都引向状态3，把2消去； 用状态5代替状态4，把引向状态4的箭弧都引向状态5，把4消去； 用状态7代替状态6，把引向状态6的箭弧都引向状态7，把6消去；得到一个化简得DFA M 2.把(a)和(b)分别确定化和最少化 (1)用子集法对M’进行确定化 ①构造一张表 (2) 把DFA M’进行化简 解: ①把M状态集分为两组: 终态结点{0，1} 非终态结点{2} ②考察{0，1} 因为， {0，1}a = {0，1}b = 所以， {0，1}不可再分 所