编译原理第三章（二）

第三章 词法分析算法 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）

>>阅读原文<<