编译原理第三章（二）

第三章 词法分析

3.3.3非确定有限自动机（NFA）

不同：初态集

 定义：对于任何两个有限自动机M和M’，如果L（M）=L（M‘），则称M与M‘等价。

对于每个NFA,存在DFA。

证明算法（重点！！！）

1.NFA M， 对M的状态转换图进行改造。三条规则

2.把上述NFA确定化，采用子集法。I，Ia，Ib

3.3.4正规文法与有限自动机

正规文法G，有限自动机M L（G）=L（M），则等价。

3.3.5正规式与有限自动机的等价性

3.3.6确定有限自动机的化简

3.4词法分析器的自动产生--LEX