(05)第一章 第三讲 三种文法的简单讨论.pptVIP

第一章语 言 及 文 法第三讲三种文法的简单讨论 一、1型、2型、3型文法的相互关系 关系1： 1、2、3型文法都是在0型文法的基础 上加一些限制而形成的特殊文法，所以它们都属于0型文法。 关系2： 一般情况下， 3型文法也是2型文法。2型文法也是1型文法。但由于1型文法的生成式P中不允许出现形如“A→ε”的生成式，而2、3型文法却是允许的。所以，含有A→ε生成式的2、3型文法不是1型文法。 故一般情况下有： 3型文法?2型文法?1型文法?0型文法 二、0、1、2、3型文法所对应的语言 定义1 0型文法(无限制性文法）G所对应的语言L(G)称为无限制性语言； 1型文法（上下文有关文法）G所对应的语言L(G)称为上下文有关语言；2型文法（上下文无关文法）G所对应的语言L(G)称为上下文无关语言； 3型文法（正则文法）G所对应的语言L(G)称为正则语言； 三、文法所表示的语言及其证明 注意：一个正确的文法G应当能够描述一个确定的语言L(G)。对于比较复杂的情况，一般需要对文法所表示的语言进行必要的证明。 三、文法所表示的语言及其证明 例1：设 有上下文有关文法： G=({S,A,B,C},{a,b,c},P,S), 生成式P如下： ① S→ aSBC ② S→ aBC ③ CB→BC ④ aB→ ab