本文深入探讨文法理论，包括G1文法、空串处理、最左推导与规约过程，以及词法分析等内容。解析正规文法、有限自动机与正规式的转换，讲解优先级设定对消除文法二义性的影响。
构
G1文法
去掉空串，将s转化为不包含空串的，空串使用s'产生
需要注意s->aB不同于s->a+B
最左推导的过程就是画树的过程
所有叶子节点连接起来就是句型。
最左简单短语：主要在规约时使用，规约最左边的简单短语，因为是最左推导出来的。
树的规约：规约最左简单短语（句柄）。
先从非终结符推出加法，然后推出乘法，这样乘法的优先级更高。
如果规定了乘除的优先级，那么就没有二义性了。
如果句子是满足文法的，但是有两种推导方式，那么就是二义的。
人为规定优先级，可以消除二义性。
第9讲 词法分析
正规文法 三型文法，终结符只能在左边或者右边 限制比较多
L(a) a表示语言
从正规式得到正规文法需要有限自动机，从文法到正规式只需要推导。
有限自动机
如果一个状态和一个输入能对应多个状态，就是不确定的自动机。
要注意是单值映射
L 自动机 M 正规式
不确定的有限自动机的初始状态并不是一个状态，而是一个初始状态集合，可以从多个状态开始。
将NFA中的多个状态进行合并，变为DFA。
应当就是遍历NFA，对其中，经过同一个字符（边）可以到达的NFA中的左右状态归结为一个状态。
F是终态集合
正规式不唯一，可能生成多个等价的正规式。
正规式->NFA->DFA
扫一扫
1715
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
