编译原理课件改写文法.pptVIP

第一章 形式语言与自动机基础 文法的变换 文法二义性的消除 左递归的消除 提取左因子 文法二义性的消除 映射程序设计语言中IF语句的文法： stmt? if expr then stmt | if expr then stmt else stmt | other 句子if E1 then if E2 then S1 else S2有两棵不同的分析树： 最近最后匹配原则 else必须匹配离它最近的那个未匹配的then 出现在then和else之间的语句必须是“匹配的”。 所谓匹配的语句是不包含不匹配语句的if-then-else语句，或是其他任何非条件语句。 改写后的文法： stmt?matched_stmt | unmatched_stmt matched_stmt? if expr then matched_stmt else matched_stmt | other unmatched_stmt? if expr then stmt | if expr then matched_stmt else unmatched_stmt 句子if E1 then if E2 then S1 else S2的分析树 左递归的消除 一个文法是左递归的，如果它有非终结符号A，对某个文法符号串?，存在推导： 例：消除表达式文法中的左递归： E?E+T|T T?T*F|F  F?(E)|id 利用消除直接左递归的方法，可以改写为: E?TE? E??+TE?|? T?FT? T??*FT?|? F?(E)|id 一般情况：假定关于A的全部产生式是： A?A?1|A?2|…|A?m|?1|?2|…|?n 产生式可以改写为： A??1A?|?2A?|…|?nA? A???1A?|?2 A?|…|?mA?|? 例如有间接左递归文法： S?Aa|b A?Ac|Sd|? 算法：消除左递归 输入：无环路、无?-产生式的文法G 输出：不带有左递归的、与G等价的文法G’ 方法： （1）把文法G的所有非终结符号按某种顺序排列成A1,A2,…,An （2）for i:=1 to n do for j:=1 to i-1 do begin 把每个形如Ai?Aj?的产生式改写为：Ai??1?|?2?|…|?k?； 其中Aj??1|?2|…|?k是关于当前Aj的所有产生式 消除关于Ai的产生式中的直接左递归 end （3）化简第(2)步得到的文法，即去除无用的非终结符号和产生式。 这种方法得到的非递归文法可能含有?-产生式。 为含有?-产生式的文法G=(VT,VN,S,?) 构造不含?-产生式的文法G?=(VT?,VN?,S,??)的方法 若产生式A?X1X2…Xn??则把产生式A??1?2…?n加入?? 其中：Xi、?i为文法符号，即Xi、?i?(VT∪VN) 若Xi不能产生?，则?i=Xi 若Xi能产生?，则?i=Xi 或 ?i=? 不能所有的?i都取? 文法G?满足： 例：消除下面文法中的左递归 S?Aa|b A?Ac|Sd|? 首先，必须保证此文法中无环路、无?-产生式。 改写为无?-产生式的文法： S?Aa|a|b A?Ac|c|Sd 消除其中的左递归： 第一步，把文法的非终结符号排列为S、A； 第二步，由于S不存在直接左递归，所以算法第2步在i=1时不做工作； 在i=2时，把产生式S?Aa|a|b代入A的有关产生式中，得到： A?Ac|c|Aad|ad|bd 消除A产生式中的直接左递归，得到文法： S?Aa|a|b A?cA?|adA?|bdA? A??cA?|adA?|? 提取左因子 如有产生式 A???1|??2 提取左公因子?，则原产生式变为： A??A? A???1|?2 若有产生式 A???1|??2|…|??n|? 可用如下的产生式代替：