您的位置:首页 > 其它

编译原理第三章(二)

2018-03-16 14:01 239 查看
第三章 词法分析
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
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: