式语言6.pptVIP

* 3. CYK算法(动态规划算法,填表法) 　 (1) 问题：设G是CFG。已知串w, 问w?L(G)? 　 (2) CYK算法 设w=a1a2…an. 记Xij为生成aiai+1…aj的所有变元的集合，i?j, i,j=1,2,…,n. 　　 算法描述： 1) 由右下第一条斜线上各项开始，往上逐斜行计算； X1 n X2 n X3 n … Xn-1 n Xn n X1 n-1 X2 n-1 X3 n-1 … Xn-1 n-1 X12 X22 …………………… X11 X13 X23 X33 a1 a2 a3 …. an-1 an 2)最后，若X1n含初始符S，则w?L(G) ，否则w?L(G) 。 * 3) Xij的计算： 开始Xij=?. 对于Xij所在行右边部分Xi+1 j Xi+2 j …Xj j和所在列下面部分Xi j-1 Xi j-2 …Xi i , 如果存在变元A? Xi+k j (行中第k个), B?Xi 2j-i-k (列倒数第k个), 有规则 C ?AB， 则将C放入Xij中。取遍k=1,2,…,j-i，则Xij即为所求。 Xi j Xi+1 j … Xj-1 j Xj j Xi j-1 Xi j-2 …. Xi i * 例　已知一个CNF文法G： S ? AB|BC, A?BA|a, B?CC|b, C?AB|a, 问串baaba是否属于L(G)。 {B} b a a b a 因为X15含有S，故baaba?L(G). {A,C} {A,C} {B} {A,C} {S,A} {B} {S,C} {S,A} － {B} {B} － {S,A,C} {S,A,C} * 刘晓华 形 式 语 言 与 自 动 机 (Ⅵ) * 第六章 上下文无关文法的化简与范式 §1 　文法的等价变换 文法的具有某些限制的产生式在应用时可能更方便。如果一个文法可以几乎等价地转换成产生式带某种限制且易于应用的另一个文法，新文法就是一个范式。本章介绍两个有用的范式：Chomsky范式和Greibach范式。 如果L(含?)是一个CFL，则L-{?}也是CFL，设G=(V,T,S,P)是接受L-{?}的CFG。 这样修改G以得到新文法G’:原有产生式不变，增加一变量S0作为开始变量，并新增加一条产生式：S0 →S| ? ，则新文法G’恰接受L。 所以，可以认为包含?的CFG与不包含?的CFG是没有区别的。 * 为得到范式，本节先介绍几种文法的等价变换。 1 . 一个代入规则 设某文法G中有产生式 A →x1Bx2, 其中A,B为变量， 不含B。 * 1. 将CFG化为CNF的方法 (1) 去除多余的符号与规则 由起始符S得到每个终结符串的一切推导过程中均不出现的字符称为是无用的。 若X ?* w (w?T*) ，则称X是产生的(倒推来源, 看哪些字符可能是有用的)。任何终结符都是产生的。 若S ? * ?X? ，则称X是可达的(顺推结果,看哪些字符可能是有用的) 。 如果Y不是产生的或不是可达的，则必是无用的。 产生符: ? ?* w 可达符: A ? ? * 例 去除文法 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 中的产生字符集。 解:因为 O1={a,b}, O2={a,b,S,A}(不能再扩大), 故产生字符集就是{a,b,S,A}. * 求可达字符集D的方法 先让D:={S}。从D中每个字符出发走一步, 若能到达新的字符, 则将能到达的全部新字符放入D中;反复进行下去, 直到D不能再增加新元素为止。 例 求文法 S ? AB|a, A ? b 中的可达字符集。 解: D1={S}, D3={S,A,B,a,b}(不能再扩大), 故可达字符集就是{S,