南京师范大学计算机科学与技术学院编译原理课件第二章 文法与语言（二）.ppt

2005/03/8 南京师范大学计算机系 杨明 教授 南京师范大学 杨明 教授 2.3 语言的分类 Chomsky语言类 Chomsky语言文法 Chomsky文法G是一个四元组（VN,VT,P,Z),其中， VN—非终结符集合； VT —终结符集合； P —有穷非空的重写规则集合； Z —识别符号，Z VN。 Chomsky文法的分类 0型文法：P中的规则具有形式：u::=v,其中u V+,v V*,也称短语结构文法，简记为PSG。 2.3 语言的分类 Chomsky文法的分类 1型文法：P中的规则具有形式：xUy::=xuy,其中U VN,v V+,称G上下文有关文法，简记为CSG。1型文法相应的语言为1型语言或上下文有关语言。 或若P中的每个规则u::=v都满足|v| |u|,则称文法G是1型文法。 2型文法：P中的规则具有形式：U::=u,其中U VN,v V+,称G上下文无关文法，简记为CFG。2型文法相应的语言为2型语言或上下文无关语言。 3型文法：P中的规则具有形式：U::=T或U::=WT,其中T VT,U, W VN,称G为正则上下文无关文法，简记为RG。3型文法相应的语言为3型语言。 2.3 语言的分类 注：3型文法因其递归方式不同，又分为右正则和左正则文法。 举例说明 G2.5=({S,A},{a,b,c},P,S): 其中P:S::=Ac|Sc A::=ab|aAb,可以看出G2.5是2型文法 。L(G2.5)={aibick|i,k 1} G2.6=({S,A},{a,b,c},P,S): 其中P:S::=aSBC,S::=abC,CB::=BC,bB::=bb,bC::=bc, cC ::=cc。L(G2.5)={aibici|i 1}为1型文法。 注：{aibjck|i,j,k 1}是3型语言，也是2，1，0型语言； {aibick|i,k 1}是2型语言，不能用3型文法表示； 2.3 语言的分类 举例说明 一般的0型文法与语言： G2.7=({S,A,B,C,D,E},{a},P,S),其中P: S::=ACaB Ca:=aaC CB:=DB CB::=E aD::=Da AD::=AC aE::=Ea AE::= L(G2.7)= 语言类对运算的封闭性 （1）基本运算 并： ; 交： ; 2.3 语言的分类 语言类对运算的封闭性 补： ； 乘积： ; 方幂： ； 闭包与正闭包： 。 （2）封闭性的基本结论： 正则语言类、上下文无关语言类、上下文有关语言类、短语结构语言类关于并、乘积和闭包运算都是封闭的。 上下无关语言类对交运算不封闭。 如：L1={anbncm|n,m 1}与L2={ambncn|m,n 1}是上下文无关，但交不是。 2.3 语言的分类 （2）封闭性的基本结论： 上下无关语言类对补运算不封闭 反证： 。 正则语言类形成一个布尔代数，即正则语言类对并、交、补运算均封闭。 证明：对给定的两个文法构造一个新的文法，主要构造相应的规则；然后证明推导出的串满足封闭性即可。 2.3 语言的分类 形式语言与自动机 自动机是生成和识别语言的另一种方式和手段。 3型语言与有穷状态自动机 正则语言所对应的自动机称为有穷状态自动机，简写为FA。 FA的定义 一个（确定）有穷状态自动机（D)FA是一个五元组（K, ,M,S,F）,其中 K是有穷非空的状态的集合； 是有穷非空的输入字母表； M是从K 到K的映像。如果M(R,T)=Q,则表示当前状态为R且输入符号为T时，将转换到状态Q: S是开始状态，S K;