同济大学编译原理第三章词法分析.ppt

从正规式构造等价的NFA  （ Thompson算法） 基础: 1 对于 ? ，构造为 ? 3 对于a ，构造为 a 2 对于? ，构造为 归纳: 1 对于 R|S ，构造为 ? ? ? ? 2 对于 RS ，构造为 ? 3 对于 R* ，构造为 ? ? ? ? 例. 设正则表达式 1*0(0|1)*, 构造等价的NFA. 0|1 ? ? ? ? 1* ? ? ? ? (0|1)* ? ? ? ? ? ? ? ? 1*0(0|1)* ? ? ? ? ? ? ? ? ? ? ? ? ? ? DFA的化简 DFA M 的化简是指寻找一个状态数比 M 少的 DFA M’，使 L(M) = L(M’)。 术语 状态s和t等价: 若从状态s出发能读出字α停于终态, 则从t出发也能读出α而停于终态；反之,若从状态t出发能读出字α停于终态, 则从s出发也能读出α而停于终态 状态s和t可区别: 状态s和t不等价。 例如：终态与非终态是可区别的。 DFA化简的思路 将 DFA M 的状态集划分为不相交的子集, 使不同的两个子集的状态可区别，同一个子集的状态都等价。 DFA化简的步骤 把状态集S划分为两个子集，得初始划分 ∏= { I(1), I(2) }，其中 I(1)为终态集， I(2)为非终态集； 设当前 ∏= {I(1), I(2) , … ,I(