二义性文法.pptVIP

增加拓广产生式 定理：对任一文法G1都可以构造文法G2，使得L(G1)=L(G2)，且G2的开始符唯一且不出现于任何产生式的右部。 证明：假设S是G1的开始符，则只要在G1中扩充一条新产生式Z?S即可，其中Z是新的开始符。另这样扩充后的文法为G2，则它显然满足定理的要求。 * 消除空产生式 定理：对任一文法G1，可构造文法G2，使得L(G1)=L(G2)，且G2中无空产生式。 证明：根据G1，构造G2的方法如下： 令G2=G1； 令?={A | A??}，?=??{A | A ?+?, ???+}；对于文法中任意产生式A?X1X2…Xi-1XiXi+1…Xn,若Xi??，补充规则A? X1X2…Xi-1Xi+1…Xn；重复2，直到不补充新的产生式。 从G2.P中删除所有形如A??的产生式。 从G2.VN删除只能导出空串的非终极符。 例： A?aBcD B?b | ? D?BB | d * 消除不可达产生式 定理：对任一文法G1都可以构造文法G2，使得L(G1)=L(G2)，且G2中的每个非终极符必出现在它的某个句型中。 证明：根据G1，构造文法G2的方法如下： 令G2=G1。 令?={S | S是文法的开始符}，递归扩充? ?=??{B | A?xBy?G1, B?VN, A??}。 若A??，则删除以A为左部的所有产生式。 * 消除特型产生式 定理：对任一文法G1，可以构造文法G2，使得L(G1)=L(G2)，且在G2中没有特型产生式。 证明：构造无特型产生式的文法G2的方法如下： 对文法G1中任意非终极符A，求集合 ?A={B | A?+B, B?VN}。 若B??A，且B??是文法G中的一个非特型产生式，则补充如下规则A??。 去掉文法G1中的所有的特型产生式。 去掉新的文法中的无用产生式。 例： A?B|D|aB B?C|b C?c D?B|d * 消除公共前缀 某个非终极符A有如下的两个产生式： A→??，A→?? 称这两个产生式有公共前缀。 方法： 对于产生式：A???1|??2|… |??n|? ，其中?表示不以?开头的字符串，引进非终极符A’，使产生式替换为： A ? ? A? | ? A? ? ?1|?2 |…| ?n * 消除左递归 一个文法含有下列形式的产生式时 （1） A?Aa |b 其中A?VN；a,? ?(VN?VT)* （2） A?B?|? B?A?|? 其中A,B ?VN； a,?,?,?? (VN?VT)* （1）称为直接左递归，（2）称为间接左递归，即文法中只要有A?+A…，则称文法为左递归的。 对于不含回路或空产生式，消除做递归方法为…… * （1）对直接左递归形如： A?A?|? 消除左递归得： A??A? A???A?|? （2）间接左递归形如： A?B?|? B?A?|? 消除左递归得： 转为直接左递归形式： A?A??|??|? 或者 B?B??|??|? 按照直接左递归方式消除。去掉多余的产生式。 * 消除文法二义性 S ? if E then S | if E then S else S | Other 该文法是一个二义性文法，与之等价的无二义性的文法如下： S ? M | U M? if E then M else M | Other U? if E then S | if E then M else U * 小结 语法分析概述 文法 * * 实质：产生式有两种以上的右部供选择 * 第三章 语法分析 语法分析概述 语法分析依据——文法 1 语法分析概述 语法分析的功能 语法错误的分类 语法错误处理 语法分析方法概述 * 1.1 语法分析的功能 * Token List 语法分析器 语法树 / 语法错误信息 1.2 语法错误类别 程序的开始符，语句（表达式）的开始符（后继符）错 标识符（常量）错：该出现时未出现 括号类错误：不匹配 分隔符错：赋值语句 * 1.3 语法错误处理 要求： 报告错误出现的位置 修复错误并继续检查后续部分 执行开销不应太大 处理策略： 紧急方式恢复； 短语级恢复； 出错产生式； 全局纠正。 * 2.4 语法分析方法概述 自顶向下 LL（1） 递归下降 自底向上 简单优先方法 LR族方法 * 2 语法分析的依据——文法 文法概述 文法相关的概念 文法等价变换 * 2.1 文法概述 文法能清晰地描述程序设计语言的语法构成，易于理解。 文法能构造有效的语法分析器，检查源程序是否符合语言规定的语法形式。 文法定义可以了解程序设计语言的结构，有利于将源程序转化