第2章形式语言的基本知识.pptVIP

3.3.4递归文法1.递归规则：规则右部有与左部相同的符号 对于U::=xUy 若x=ε,即U::=Uy，左递归； 若y=ε,即U::=xU，右递归；2.递归文法：文法G，存在U∈VnifU==…U…,则G为递归文法；ifU==U…,则G为左递归文法；ifU==…U,则G为右递归文法；+++第30页，共68页，星期日，2025年，2月5日4.递归文法的优点：可用有穷条规则，定义无穷语言例：对于前面给出的无符号整数的文法是有递归文法，用13条规则就可以定义出所有的无符号整数。若不用递归文法，那将要用多少条规则呢？!3.左递归文法的缺点：不能用自顶向下的方法来进行语法分析会造成死循环（后面将详细论述）第31页，共68页，星期日，2025年，2月5日3.3.5句型的短语、简单短语和句柄定义8.给定文法G[S],w=xuy∈V+，为该文法的句型,若S==xUy,且U==u,则u是句型w相对于U的短语；若S==xUy,且U==u,则u是句型w相对于U的简单短语。其中U∈Vn，u∈V+，x,y∈V***＋ 直观理解：短语是前面句型中的某个非终结符所能推出的符号串。第32页，共68页，星期日，2025年，2月5日(5)句型10短语10,1,0简单短语1,0定义8.给定文法G[S],w=xuy∈V+，为该文法的句型,若S==xUy,且U==u,则u是句型w相对于U的短语；若S==xUy,且U==u,则u是句型w相对于U的简单短语。其中U∈Vn，u∈V+，x,y∈V***＋直观理解：短语是前面句型中的某个非终结符所能推出的符号串。无符号整数==数字串==数字串数字==数字数字==1数字==10无符号整数==数字串==数字串数字==数字串0==数字0==10第33页，共68页，星期日，2025年，2月5日定义9.任一句型的最左简单短语称为该句型的句柄。给定句型找句柄的步骤： 短语 简单短语句柄 注意：短语、简单短语是相对于句型而言，一个句型可能有多个短语、简单短语，句柄只能有一个。第34页，共68页，星期日，2025年，2月5日3.4文法和语言的分类形式语言(乔姆斯基)：通过抽象，对语言进行形式化描述?*的任何子集称作?上的形式语言由文法定义语言：L（G[S]）={x|x∈Vt*,S==x}+第35页，共68页，星期日，2025年，2月5日文法和语言分类：0型、1型、2型、3型这几类文法的差别在于对产生式施加不同的限制。 0型：P：u::=v 其中u∈V＋，u中至少含有一个非终结符，v∈V* 0型语言：L00型文法称为无约束短语结构文法。规则的左部和右部都可以是符号串，一个短语可以产生另一个短语。第36页，共68页，星期日，2025年，2月5日S→ACaBaB→Ba CB→E aD→DaAD→ACaE→EaAE→ε例：0型文法G[S]：第37页，共68页，星期日，2025年，2月5日 1型：P：xUy::=xuy 其中U∈Vn， x、y∈V*，u∈V＋1型语言：L1 称为上下文敏感或上下文有关。也即只有在x、y这样的上下文中才能把U改写为u第38页，共68页，星期日，2025年，2月5日S→aSBEaBc→abc bBd→bbd BEd→BedeEB→eaB例：1型（上下文有关）文法G[S]：第39页，共68页，星期日，20