第三章-词法分析.ppt

* 子集法由转换系统构造确定有穷自动机ＤＦＡ实例 第三章 词法分析 设有正规式e为(a|b)*(aa|bb)(a|b)*试构造一个确定有穷自动机(ＤＦＡ)Ｍ，使得 Ｌ(Ｍ)＝Ｌ(e) 已知此正规式的转换系统如下图。它的状态集Ｋ＝{S, 1, 2, 3, 4, 5, 6, Z}，其中Ｓ为初始状态，Ｚ为终止状态 。Σ={a, b}，所以 ①构造一张表，共3列，分别为I，Ia，Ib; ②求ε—CLOSURE(S)， ε—CLOSURE(S)={S，5，1}，将{S，5，1} 填到表格的第一行第一列； ③令I={S，5，1}，求Ia，Ib(分别为{5，3，1}和{5，4，1}）并填入表格的第一行Ia、Ib列; S Z 5 6 1 2 ε ε ε ε b b 3 4 a b a b a a * 子集法由转换系统构造确定有穷自动机ＤＦＡ实例 第三章 词法分析 ④检查上一步Ia, Ib两个子集是否在I列中出现，将未出现的Ia或Ib作为 表格第二或第三行I列的值，类似步骤（3）求第二行的Ia, Ib的值。再检查，再求第三行的Ia,Ib的值。直到所有I的Ia, Ib都已求，并且没有新的状态子集加入第一列为止。（参见下表） I Ia Ib