形式语言6.pptVIP

第六章 上下文无关文法的化简与范式 §1 　文法的等价变换 文法的具有某些限制的产生式在应用时可能更方便。如果一个文法可以几乎等价地转换成产生式带某种限制且易于应用的另一个文法，新文法就是一个范式。本章介绍两个有用的范式：Chomsky范式和Greibach范式。 如果L(含?)是一个CFL，则L-{?}也是CFL，设G=(V,T,S,P)是接受L-{?}的CFG。 这样修改G以得到新文法G’:原有产生式不变，增加一变量S0作为开始变量，并新增加一条产生式：S0 →S| ? ，则新文法G’恰接受L。 所以，可以认为包含?的CFG与不包含?的CFG是没有区别的。 1. 将CFG化为CNF的方法 (1) 去除多余的符号与规则 由起始符S得到每个终结符串的一切推导过程中均不出现的字符称为是无用的。 若X ?* w (w?T*) ，则称X是产生的(倒推来源, 看哪些字符可能是有用的)。任何终结符都是产生的。 若S ? * ?X? ，则称X是可达的(顺推结果,看哪些字符可能是有用的) 。 例 去除文法 S ? AB|a, A ? b 中的无用符号。 (1) 仅B不是产生的，故应在文法中去除含B的产生式后，文法为S ?a, A ? b。 (2) 新文法中A,b均不是可达的，故应去掉相应的产生式，这样最后文法精简成S ?a 。 求产生字符集O的方法 先让O:=T。若存在变元A及??O*，使得A??，则将A放入O中；反复进行下去，直到O不能再增加新元素为止。 例 求文法 S ? AB|a, A ? b 中的产生字符集。 解:因为 求可达字符集D的方法 先让D:={S}。从D中每个字符出发走一步, 若能到达新的字符, 则将能到达的全部新字符放入D中;反复进行下去, 直到D不能再增加新元素为止。 例 求文法 S ? AB|a, A ? b 中的可达字符集。 解: (2) 处理长规则 若规则A?B1B2…Bm中m 2，则说此规则是长规则。(B1 , B2 , … , Bm均为变元) 处理办法： 将此规则改写为等价的一系列规则 (3) 处理?规则（形如A? ?的规则） a) 计算能得到?的变元集E 先让E为一步可变得?的所有变元集。 以后反复进行以下操作：若存在规则A→α(α?E*)，则让A加入集合E；E无新元素增加时终止。 此时E={ A∈V: A ?* ?}。 b) 删去全部?规则并保留它们对其它规则的影响 对每一条形如 A→ B1B2…Bm的规则，加入所有可能的新规则A→ B’1B’2…B’m , 这里Bi不是可空变元时B’i = Bi ， Bi是可空变元时B’i分别可取Bi和?. 此时除结果为? 的推导外，新旧规则是等价的。 例 (p.180) 按本节方法处理文法中的?规则： A ? aAA| ?, B ?bBB| ?. 显然，可空字符集E= { A,B }。 由于A ? aAA中A是可空字符，故此条规则可得 A ? aAA | aA | a . 类似地，由B ?bBB可得 B ?bBB | bB | b . 于是，删除?规则后原文法等价于新文法 A ? aAA | aA | a， B ?bBB | bB | b . (4) 处理单位规则(形如A ?B (B为变元)的规则) 若变元A,B满足A?* B,则说(A,B)是一单位对。 a) 寻找所有的单位对 　对每个变元A，(A,A)为单位对。反复进行以下操作： 若(A,B)为单位对且存在规则B→C (C为变元)，则(A,C)亦为单位对；无新单位对增加时终止。 b) 删去全部单位规则并保留它们对其它规则的影响： 对每个单位对(A,B) ，若有规则B ?α，则增加新规则 A ?α 。 　例　生成算术表达式的文法 E?T+E | T, T?F*T | F, F?(E) | I, I?a|b|Ia|Ib|I0|I1, 中，全部单位对为 定理 任给上下文无关文法G，存在Chomsky 范式的上下文无关文法G’，使 L(G’) = L(G) - {?}, 且G’的构造可在多项式时间内完成。 　证：由于CFG化为CNF的过程分为四步（见幻灯片第二页），其中步骤(1)(2)(4)新旧文法等价，仅步骤(3)新旧文法所得终结符串相差{?} ，故命题成立。 　例(p.186)　将