《形式语言与自动机》课件ch4.2.ppt_163文库

资源描述

1、12023-5-22School of Computer Science,BUPT4.2 上下文无关文法的变换上下文无关文法的变换 nCFG 的简化的简化n消无用符号消无用符号n消消产生式产生式n消单产生式消单产生式n对生成式形式进行标准化对生成式形式进行标准化22023-5-22School of Computer Science,BUPT生成式的标准形式生成式的标准形式n Chomsky范式(CNF-Chomsky Normal Form)生成式形式为ABC,Aa,A,B,CN,aT(后面将证明,每个上下文无关文法都有一个CNF文法)nGreibach范式(GNF)生成式形式为Aa,aT

2、,N*意义:对每个2型语言都可找到一个文法使产生式的右端都以终结符开始中心思想:消除左递归.32023-5-22School of Computer Science,BUPT变换算法变换算法-消去无用符号消去无用符号无用符号（无用符号（useless symbol）非生成非生成符号符号不可达不可达符号符号有用符号（有用符号（useful symbol）对于对于 CFG G=(N,T,P,S)，称符号称符号 X N T 是是有用的有用的，当且仅当当且仅当 S X w，其中其中 w T*，,(N T)*.称符号称符号 X 是是生成生成符号符号（generating symbol），当且仅当

3、当且仅当存在存在w T*，满足满足 X w.称符号称符号 X 是是可达可达符号符号（reachable symbol），当且仅当当且仅当存在存在,(N T)*，满足满足 S X.42023-5-22School of Computer Science,BUPT 计算生成符号（计算生成符号（generating symbol）集集计算可达符号（计算可达符号（reachable symbol）集集消去非生成符号、不可达符号消去非生成符号、不可达符号消去无用符号消去无用符号消去相关产生式消去相关产生式52023-5-22School of Computer Science,BUPT计算生成

4、符号集计算生成符号集思路思路对于对于 CFG G=(N,T,P,S)，可通过下列归纳可通过下列归纳步骤计算生成符号集合：步骤计算生成符号集合：基础基础任何终结符任何终结符 a T 都是生成符号；都是生成符号；归纳归纳如果有产生式如果有产生式 A ，其中其中 (N T)*的的每一个符号都是生成符号，则每一个符号都是生成符号，则 A 也是生成符号；也是生成符号；62023-5-22School of Computer Science,BUPT步骤步骤:(1)N 0=(赋为赋为)N 0为有用的非终结符集为有用的非终结符集(2)N=A|A且且T*N为非终结符集合为非终结符集合(3)如果如果N 0

5、N 则转则转(4),否则转否则转(6)(4)N 0=N(5)N=N 0 A|A且且(TN 0)*,转转(3)(6)N 1=N小结小结:算法算法1找出能推出终结符串的非终结符作为有找出能推出终结符串的非终结符作为有用符号用符号.算法算法1:找出有用非终结符找出有用非终结符 72023-5-22School of Computer Science,BUPT 一层层向外扩展，直至最外两层相等为止。所得集合一层层向外扩展，直至最外两层相等为止。所得集合即是算法即是算法1的有用符号。的有用符号。算法算法1:找出有用非终结符（图示）找出有用非终结符（图示）N N0 0=空=空 N=A|A 且 T*N=A|

6、A 且 T*A A1 1A A3 3A A2 2N=NN=N0 0B|B且(TN B|B且(TN)*B B2 2B B1 182023-5-22School of Computer Science,BUPT计算可达符号集计算可达符号集思路思路对于对于 CFG G=(N,T,P,S)，可通过下列归可通过下列归纳步骤计算可达符号集合：纳步骤计算可达符号集合：基础基础 S 是可达符号；是可达符号；归纳归纳如果如果 A 是可达符号，并且有产生式是可达符号，并且有产生式 A ，其中其中 (N T)*，则则中的每一个符号都是可达中的每一个符号都是可达符号；符号；92023-5-22School o

7、f Computer Science,BUPT算法步骤算法步骤:(1)N 0=S(2)N=x|AN 0 且且Ax N 0 (N为有用符号集合为有用符号集合)(3)如果如果N 0N转转(4),否则转否则转(5)(4)N 0=N;转转(2)(继续迭代下去继续迭代下去)(5)N 0=N N T1=NT P1由由P内只含内只含N中符号的生成式组成中符号的生成式组成(即删去了从即删去了从S起不可达的符号起不可达的符号).算法算法2:找出有用符号找出有用符号(从从S可达的符号可达的符号)102023-5-22School of Computer Science,BUPT一层层外扩一层层外扩,找出从找出从S

8、可达的所有符号可达的所有符号(含非终结符和终结符含非终结符和终结符)算法算法2:找出从找出从S可达的符号可达的符号（图示）（图示）N N0 0=S=S N=x|AN 0 N=x|AN 0 且Ax N 0 且Ax N 0A A1 1A A3 3A A2 2NNC1C1C2C2112023-5-22School of Computer Science,BUPT消去非生成符号及不可达符号消去非生成符号及不可达符号例例:(书书P102 例例1)已知已知2型文法型文法G=(S,A,B,a,P,S)P:SAB,Sa,Aa由算法由算法1:B推不出终结符串推不出终结符串,删除之删除之,并删并删SAB.N1=

9、S,A,P1:Sa,Aa由算法由算法2:A不出现在不出现在S能推导出的句型中能推导出的句型中,删除之删除之.并删并删Aa 结果为结果为G1=(S,a,Sa,S)应用算法应用算法1和算法和算法2,可删去文法中所有无用符号可删去文法中所有无用符号.122023-5-22School of Computer Science,BUPT消去非生成符号及不可达符号消去非生成符号及不可达符号注意注意:必须先执行算法必须先执行算法1,再执行算法再执行算法2,不能颠倒不能颠倒.否则否则,可能导致无用符号不会被完全删除可能导致无用符号不会被完全删除.例例:上例中上例中,若先用算法若先用算法2,得得 Sa,SAB,

10、Aa再用算法再用算法1,得得Sa,Aa。而而Aa是多余的是多余的.定理定理:任何非空的上下文无关语言任何非空的上下文无关语言,可由不存在无用符可由不存在无用符号的上下文无关语言产生号的上下文无关语言产生(证明略证明略)。132023-5-22School of Computer Science,BUPT消去消去产生式产生式目的目的方便文法的设计方便文法的设计,利于文法规范化利于文法规范化.影响影响消去消去产生式产生式,除了文法不能产生字符串除了文法不能产生字符串外，不会影响到原文法相应的语言中其它字符串外，不会影响到原文法相应的语言中其它字符串的产生的产生.可致空符号（可致空符号（

11、nullable symbol）对于对于 CFG G=(N,T,P,S)，称符号称符号 A N 是是可致可致空空的的，当且仅当，当且仅当 A .消去消去产生式及其影响，需要计算可致空符号的产生式及其影响，需要计算可致空符号的集合集合.142023-5-22School of Computer Science,BUPT算法算法3:生成无生成无文法文法定义定义:若G的生成式中无任何产生式,或只有一个生成式S且S不出现在任何生成式的右边,则称G为无文法.思路思路对于 CFG G=(N T,P,S)，可通过下列归纳步骤计算可致空符号集合：基础基础对于所有产生式对于所有产生式 A ，A 是一个可

12、致空符号是一个可致空符号归纳归纳如果有产生式如果有产生式 B C1C2Ck，其中每一个其中每一个 Ci N 是可致空符号，则是可致空符号，则 B 是一个可致空符号；是一个可致空符号；152023-5-22School of Computer Science,BUPT算法算法3:生成无生成无文法文法算法步骤算法步骤:(1)利用算法1,找出N=A|AN且A=+(找出能推导出的所有非终结符A)(2)用以下两步组成P1 如果生成式A0 C11 C2CnnP n0 且每个Ck (1kn)均在N内而对于0jn,没有j在N内 (i也可能是终结符)则P1应加入 A0Y11Y22Ynn 其中Yk或是Ck

13、或是 (即所有的可能组合)但A不加入P1162023-5-22School of Computer Science,BUPT算法算法3:生成无生成无文法文法算法步骤（续）算法步骤（续）:如果SN,则P1中应加入以下生成式 S1|S S1是新的起始符 N1=NS1 如果SN,则N1=N,S1=S 由此得出G1=(N1,T,P1,S1)172023-5-22School of Computer Science,BUPT消去消去产生式产生式例例:(书书P103 例例2)G=(N,T,P,S)其中N=S,T=a,b P:SaSbS|bSaS|求其无文法 G1=(N1,T,P1,S1)解解:(1)S

14、=+N=S(2)P1的构造由SaSbS;加入SaSbS|abS|aSb|ab 由SbSaS;加入SbSaS|baS|bSa|ba 但S不加入P1 由SN得出 S1 S N1=NS1=S,S1182023-5-22School of Computer Science,BUPT消去消去产生式产生式练习练习以下产生式表示的文法中以下产生式表示的文法中，D 为可致空符号：为可致空符号：S A;A 0BD;B 0BC;B 1;C 1;D .通过通过上述步骤，上述步骤，消去消去产生式产生式，得到如下产生式集合：，得到如下产生式集合：S A;A 0BD;A 0B;B 0BC;B 1;C 1.192

15、023-5-22School of Computer Science,BUPT消去单产生式消去单产生式单产生式单产生式形如形如 A B 的产生式，其中的产生式，其中A、B 为非为非终结符终结符.消去单产生式的目的消去单产生式的目的可简化某些证明，减少推可简化某些证明，减少推导步数导步数,利于文法规范化利于文法规范化.单元偶对（单元偶对（unit pairs）对于对于 CFG G=(N,T,P,S)，A，B N，称称(A，B)是是单元偶单元偶对对，当且仅当，当且仅当 A B，且该推导过程仅使用过单产生式且该推导过程仅使用过单产生式.消去单产生式时，需要计算所有单元偶对的集合消去单产生式时

16、，需要计算所有单元偶对的集合.202023-5-22School of Computer Science,BUPT消去单产生式消去单产生式思路思路设设 CFG G=(N,T,P,S)，对每个单元偶对对每个单元偶对(A，B)，在在 G1 中加入产生式中加入产生式 A ，其中其中 B 为一个非单产生式；从为一个非单产生式；从而消去而消去 G 中的单产生式，中的单产生式，得到得到 CFG G1=(N,T,P1,S)：算法步骤算法步骤:(1)对每个对每个AN,构造非终结符集构造非终结符集NA=B|A=*B (NA是可由是可由A推出的单生成式中的非终结符集推出的单生成式中的非终结符集)。构造方法分三步

17、构造方法分三步:N0=A N=C|如果如果BC P且且B N0N0 若若N N0,则则N0=N,转向转向 (继续迭代继续迭代)否则否则NA=N,转向转向(2).(已得到了完整的已得到了完整的NA)212023-5-22School of Computer Science,BUPT消去单产生式消去单产生式算法步骤（续）算法步骤（续）:(2)构造构造P1:如果如果B P且不是单生成式且不是单生成式,则对于则对于BNA的所有的所有A,把把A加入到加入到P1中中(即对每个即对每个BNA(意味着意味着A=+B)的非单生成式的非单生成式B P,直接将直接将与与NA的的A连接连接,构成新产生式构成新产生式A

18、加入到加入到P1中中)(3)得到得到G1=(N1,T1,P1,S)N N0 0=A=AB B1 1B B2 2N NA AC C1 1C C2 2222023-5-22School of Computer Science,BUPT消去单产生式消去单产生式（例）（例）例例:设设 2型文法型文法G=(S,A,B,(,),+,*,a,P,S)P:SS+A|A AA*B|B B(S)|a 构造无单生成式的文法构造无单生成式的文法G1 解解:(1)构造构造NS,NA,NB N0=S N=C|BC P且且B N0N0 =AS=A,S N0N N0 =N=A,S 继续转继续转 N=BA,S=B,A,S N0

19、N N0 =N=B,A,S 继续转继续转有有N=B,A,S=N0 NS=B,A,S 同理可得同理可得:NA=A,B,NB=B 232023-5-22School of Computer Science,BUPT消去单产生式消去单产生式（续续）(2)构造构造P1对对NS=S,A,B SS+A P且不是单生成式且不是单生成式,且且S NS 于是，将于是，将SS+A加到加到P1中中.又又 AA*B P,A NS 将将SA*B加到加到P1中中.(SA,AA*B 直接用直接用SA*B代替这两条产生式代替这两条产生式)又又 B(S)P,B NS 将将S（S）加到加到P1中中.又又 Ba P,B NS 将

21、 G=(V,T,P,S)，可以通过下列步骤对可以通过下列步骤对 G 进行简化进行简化：（1）消除消除 G 中的中的产生式产生式；（2）消除消除 G 中的单产生式；中的单产生式；（3）消除消除 G 中的中的无用符号无用符号.结论结论设设 CFG G 的语言至少包含一个非的语言至少包含一个非的字符串，通的字符串，通过过上述步骤上述步骤从从 G 构造构造 G1，则有则有 L(G1)=L(G)-.注意注意以上简化步骤的次序以上简化步骤的次序.262023-5-22School of Computer Science,BUPT消除递归消除递归递归的定义递归的定义:在在2型文法中型文法中若存在

22、若存在 A=+A,AN，则称则称G是递归文法。是递归文法。若存在若存在 A=+A G是左递归文法是左递归文法若存在若存在 A=+A G是右递归文法是右递归文法若存在若存在 A=+A G是循环文法是循环文法272023-5-22School of Computer Science,BUPT生成式的代换生成式的代换定义定义:2型文法中所有形如型文法中所有形如A的生成式称为的生成式称为A生成式生成式.引理引理1:对对A的的A生成式可进行变换生成式可进行变换设设 G=(N,T,P,S)AB是是P中的生成式中的生成式,BN,(NT)*Br1|r2|rk是是P中的中的B生成式生成式可生成可生成G1=(N1

24、 r2292023-5-22School of Computer Science,BUPT生成式的代换生成式的代换其句子其句子aabbbaabbb的推导树为的推导树为 b bS Sa a S S S Sa a S S S Sb bS S a a a a S S S S S Sb bb bb bb b即将子树根S用下一层的直接后代代替了.302023-5-22School of Computer Science,BUPT消除直接左递归消除直接左递归引理引理2:消除直接左递归消除直接左递归设设G=(N,T,P,S),P中有中有A生成式生成式 AA1|A2|Am|1|2|n其中其中i的第一个字符

25、不是非终结符的第一个字符不是非终结符A(可以是其它非终结符可以是其它非终结符)可构成可构成G1=(NA,T,P1,S),A为新引入的非终结符为新引入的非终结符 G1中的中的P1为，将为，将P中的中的A生成式用以下生成式取代生成式用以下生成式取代 A1|2|n|1A|2A|nA A1|2|m|1A|2A|mA证明思路证明思路:G和和G1二者的正则式都是二者的正则式都是(1+2+n)(1+m)*312023-5-22School of Computer Science,BUPT消除直接左递归消除直接左递归（例）（例）例例:(书书P106 例例4)SS+A|A,AA*B|B,B(S)|a 1 1 1

26、 1可变换为可变换为 SA A|AS S+A|+A S AB B|BA A*B B|*B A B(S)(S)|a 322023-5-22School of Computer Science,BUPT消除直接左递归对推导树的影响消除直接左递归对推导树的影响A AA A i1i1A A ikikA A i2i2.A AA Aikik A Aik-1ik-1 A A.i2i2 A Ai1i1AAG中局部：332023-5-22School of Computer Science,BUPT消除左递归的算法消除左递归的算法Why 消左递归消左递归?以后的句法分析算法不适用于左递归以后的句法分析算法不适用

27、于左递归,会引起死循环。会引起死循环。对于给定的对于给定的2型文法型文法,该文法不存在无用符号该文法不存在无用符号,无循环且是无循环且是无无生成式的文法生成式的文法,为了消除为了消除G中可能存在的左递归中可能存在的左递归,构成一构成一个等效的无左递归的文法个等效的无左递归的文法G1,可用算法可用算法5。算法算法5在原理上与求解正规表达式方程组的算法类似在原理上与求解正规表达式方程组的算法类似.342023-5-22School of Computer Science,BUPT 排列非终结符排列非终结符 N=A1,A2,Am i :=1 将将Ai Ai1|Ain|1|p 变换为变换为 Ai1|p

28、|1 Ai|p Ai Ai 1|n|1 Ai|n Ai i=m i=m？Y Y 结束结束 i i：=i+1=i+1，j j：=1=1 对每个对每个Ai Aj，Aj1|n 用用Ai 1|2|n代替代替 Y j=i-1Y j=i-1？N j N j：=j+1=j+1算法算法5:消除全部左递归消除全部左递归352023-5-22School of Computer Science,BUPT A1A2A3|a （1）A2A3A1|A1b （2）A3A1A2|A3A3|a （3）排序：排序：A1，A2，A3当当 i=1 对（对（1）变换，不用变。）变换，不用变。A1A2A3|a 当当 i=2 对（对（2

29、）变换）变换 A2A3A1|A2 A3b|ab （4）1 1 2 消直接左递归消直接左递归 A2A3A1|ab|A3A1 A2|abA2 （5）A2 A3 b|A3b A2 （6）当当i=3，j=1 A3A1A2|A3A3|a A2 A3 A2|a A2|A3A3|a （7）消除左递归消除左递归(示例示例)362023-5-22School of Computer Science,BUPT 1 1 2j=2 A3A3A1 A3A2|a b A3 A2|A3 A1 A2A3 A2|a b A2A3 A2|a A2|A3A3|a （8）2 3 3 4 对（对（8）消直接左递归）消直接左递归 A31 A3|2 A3|3 A3|4 A3|1|2|3|4 A3 1|2|3|1 A3|2 A3|3 A3|消除左递归消除左递归(示例示例)

展开阅读全文