第3章-文法和语言课件.pptVIP

3型文法 一个2型文法G，如果其产生式全都是形如 A →a或A →aB,其中:A、B ∈VN,a ∈VT*,则G为3型文法。 3型文法也称正则文法或正规文法或右线性文法。 它对应有穷自动机。 文法之间的关系 一个四类文法的定义是通过逐步增加限制条件进行的。 即： 3型文法?2型文法?1型文法?0型文法。 四类文法产生对应的四类语言。 判断下列文法类型 例：文法G[S]: S →aSAB， S→aAB （或S→aSAB|aAB）， aA→ab， bA→bb， bB→bd，BA→AB， dB→dd 例：文法G[S]: S →aSAB，S→aAB(或S→aSAB|aAB) aA→x，bA→bb，bB→bd，BA→AB，dB→dd 例：文法G[S]: S→aT，T→bT|cT|b|c 例：文法G[S]: S→aB|c， B→Ad， A→cS 上下文无关文法有足够的能力来描述现今程序设计语言的语法结构。 例：算术表达式语法结构文法G=({E},{+, -, *，/，i,(,)},P,E)，其中P为： 　　　　E→i | E+E | E-E | E*E | E/E | (E) 例：条件语句文法片段： S→if 条件 then 语句| if 条件 then 语句 else 语句 两个例子均是上下文无关文法。 今后如无特别说明，“文法” 均指上下文无关文法。 3.5 上下文无关文法和语法树 给定文法G =(VN, VT,P,S)，对于文法G的任何句型都能构造与之关联的语法树（推导树、语法分析树、分析树）。 这棵树满足下列4个条件： （1）每个结点都有一个V中的符号作标记； （2）根的标记是开始符号S； （3）若一结点n至少有一个它自己除外的子孙，并且有标记A，则A∈ VN ； （4）如果结点n的直接子孙，从左到右的次序是结点n1,n2,…,nk，其标记分别为A1,A2,…,Ak，那么 A→A1A2…Ak 一定是P中的一个产生式。 例：G[S]： S→aAS | a A→SbA |SS |ba 对句型aabbaa的推导过程可表示为左图语法树。 下面三个推导过程均可由左图表示。 (1)S?aAS?aSbAS ?aabAS?aabbaS ?aabbaa (2)S?aAS?aAa? aSbAa?aSbbaa? aabbaa (3)S?aAS? aSbAS ? aSbAa?aabbAa ? aabbaa 同一语法树可以表示对同一句型不同的推导过程。 如果每一步α?β中,都是对α中最左(右)非终结符进行替换, 则称之为最左(右)推导。 最右推导称为规范推导,由规范推导所得的句型称为规范句型。 一个句型可能对应着多棵语法树，即对应的语法树不唯一。 一个句型对应的最左(右)推导不唯一。 同一语法树最多对应唯一的最左(右)推导。 例：文法G[E]: E→i | E+E | E*E | (E) 句型 i*i+i 可能对应着下面两个最右推导： (1)E?E+E?E+i?E*E+i?E*i+i?i*i+i (2)E?E*E?E*E+E?E*E+i?E*i+i?i*i+i 二义性语法树 如果一个文法存在某个句子对应着两棵不同的语法树。或者说，一个文法的某个句子对应两个不同的最左(右)推导，存在则称此文法是二义的。 不存在一种算法能在有限步骤内判断一个2型文法是否是二义的。 注意：文法的二义性和语言的二义性是两个不同的概念。因为可能有两个不同的文法G和G`，其中G是二义的，但是却有L(G)=L(G`)。 产生某上下文无关语言的每一个文法都是二义的，则称此语言是先天二义的。 程序设计语言常希望对它的每个句子的分析是唯一的，所以希望它的文法是无二义的。 判定任给的一个上下文无关文法是否二义，或它是否产生一个先天二义的上下文无关语言，这两个问题是递归不可解的。即不存在一种算法能在有限步骤内判断一个2型文法是否是二义的。 实际应用中，可以通过为无二义性寻找一组充分条件的方法来构造无二义性文法。 例：下列简单算术表达式的文法是二义性文法： E→E+E|E-E|E*E|E/E|(E)|i 规定优先级和结合性后，通过引入新的非终结符，可变换为如下非二义性文法G[E]： E→E+T|E-T|T，T→T*F|T/F|F，F→(E)|i 3.6 句型的分析 句型分析是一个识别输入符号串是否为语法上正确的程序的过程。也就是识别一个符号串是否为某文法的一个句型的过程。 在语言的编译实现中，把完成句型分析的程序称为分析程序（识别程序），分析算法又称为识别算法。 本书介绍的分析算法都称之为从左到右识别的分析算法。 分析算法分类 自上而下分析法：