第二章+形式语言与文法1.pptVIP

三、2型文法（上下文无关文法） 若文法G中规则呈现如下形式： A::= β 其中，A∈VN， β ∈（VN∪VT）* 则称G为2型文法，由它产生的语言称2型语言。 由于利用规则将A替换成β时与其上下文无关，即与A在 上下文出现的情况无关，所以又称这种文法为上下文无关文 法。 例：文法G的产生式P： E::=E+E|E*E|(E)|i 属于2型文法。 特点：2型文法产生式的左部是单个的非终结符，右部为终结符和非终结符组成的符号串。 注：上下文无关文法可以描述当今的程序语言 例：设有文法 G1={VN,VT,P,A} 其中： VN={A} VT={a,b} P={A::=ab} 显然： L(G1)={ab} 文法 G2={VN,VT,P,A} 其中： VN ={A,B} VT ={a,b} P={A::=Bb,B::=a} 显然： L(G2,)={ab} 即：L(G1)=L(G2)，且G1= G2 ③若语言在语法上等价，并不一定意味着语义上等价。 例：G3[S]和G4[S]它们的VN和VT相同： VN ={S,A}, VT ={a,b,c} 而, G3[S]的P为： S::=A|S-A A::=a|b|c G4[S]的P为： S::=A|A-S A::=a|b|c 显然：G3 [S]和G4 [S]等价（语法），因为它们都产生相同的句子： {a,b,c,a-b-c,a-b-b-c,…} 但：句子的含义（语义）不一定相同： 例如：由G3[S]推导出的句子：a-b-c其含义为(a-b)-c 由G4[S]推导出的句子：a-b-c其含义为a-(b-c) ④文法应该能准确地描述语言，不能扩大或缩小。 例：设计一个表示所有标识符的文法。 解：分析：标识符：字母|字母开头的字母数字串,用B表示标识符；L-字母；D-数字： 则G[B]的产生式P: B::=L|BL|BD L::=a|b|c|…|x|y|z D::=0|1|2|…|9 ……可以表示a1b2c3 若将产生式设计成P1： B::=L|BD L::=a|b|c|…|x|y|z D::=0|1|2|…|9 表示：字母开头，后面全是数字：abc1， 不能表示a1b2c3 显然：P1 缩小了标识符的表示，比P描述的范围缩小了 若将产生式设计成P2： B::=L|BL|BD|D L::=a|b|c|…|x|y|z D::=0|1|2|…|9 显然: P2也不能准确地描述，扩大了P的描述范围 §3 与语法分析有关的概念 一、短语、简单短语与句柄 短语：设有文法G[S]，W=αβδ是G的一个句型。若有识别符号S=＊αAδ,且A=+β,则称β是相对非终结符A的句型w的短语。 特别，如果上式A=+β为： A=β 则称β为句型w的简单短语（直接短语） 例：设有文法G=({S,A,B},{a,b},P,S)其中P为： 1. S::=AB 2. A::=Aa 3. A::=bB 4. B::=a 5. B::=Sb 试求句型baSb,bBABb和baabaab全部短语，简单短语。 解：先讨论句型w=baSb,其中子串b,a,S,ba,aS,Sb,baS,aSb. 是句型w的短语吗？ 根据短语定义，可由句型的推导中找到全部短语及简 单短语。 最左推导： 由此可见，下式成立： ①∵S=*S,且S=+baSb ∴baSb是短语(句型 本身是短语)(注意:主要求异于句型本身的短语). ②又∵ S=*AB,且B=Sb ∴句型baSb中子串Sb也该句型（相对于B）的短语,且是简单短语。 ③又∵ S=*bBSb,且B=a ∴句型baSb中子串a也该句型（相对于B）的短语,且是简单短语。 ④ 又∵ S=*ASb,且A=+ba ∴句型baSb中子串ba也该句型（相对于A）的短语. 注:短语是句型中的子串,在推导中不是句型中的子串不能作短语。 如:S=*ASb ,A=bB;则由于bB不是句型baSb中子串,所以他不是该句型的短语. ∴sb，a，ba是句型baSb异于自身的短语(句型本身是短语),其中Sb,a是简单短语。 最右推导： 同样可求出同上的该句型的短语,同学们可自求. 可用同样的方法分析句型bBABb和baabaab的全部短语和简单短语（略）同学们也可自求。 句柄：句型的最左简单短语 特征：句柄至少是简单短语（某规则的右部），且为最左简单短语（具有最左性）。 例如：上例中a是最左简单短语――句柄。 注: