第02章 文法-10、11、12节课-2013-09-24.pptVIP

2.4 文法的乔姆斯基体系 乔姆斯基根据产生语言的文法的特性，将语言分成了4种类型… 定义2-6 设文法G = (V, T, P, S)，则 结论 该体系指明了形式语言研究的方式，0型文法最为一般，3型文法最为特殊。且具有关系 RG?CFG ?CSG ? PSG RL?CFL ?CSL ? PSL P70 (1)-(9) 1型文法规定推导过程中句型长度递增； 2型文法规定产生式的左边只能为一个语法变量，这样某个语法变量的推导不会依赖于其上下文，这也是其名称的来历； 3型文法则允许从一个语法变量最多产生出一个语法变量，且该语法变量只能在句型尾。 例2-16 文法的分类 (1) G1: S ? 0| 1| 00| 11 G3: S ? 0| 1| 0A| 1B, A ? 0, B ? 0 (2) G5: S ? A| B| BB, A ? 0, B ? 0 (3) G14: S ? aBC| aSBC aB ? ab, bB ? bb, bC ? bc, cC ? cc (4) G7: S ? ?| 0S 练习(见习题) ? 2. 习题评讲 2. (1) G1: S ? 0| 0S (2) G2: S ? 0 | SS (3) G3: S ? 0 | 0S, 0S ? 00 (4) G4: S ? 0 | SS, SS ? 0 定理2-1 L是RL的充要条件是存在一个文法，该文法产生语言L，并且它的产生式要么是形如 A?a的产生式，要么是形如A ? aB的产生式，其中A，B为语法变量，a为终极符号。 定理可简单的叙述为“L是RL的充要条件是它有一个仅含有A ? a和A ? aB产生式的文法” 证明 首先注意到定理中的a为终极符号，而定义2-6中的w为终极符号组成的串。 充分性： a ? T? T +，根据定义2-6可得 必要性：(分析) 设w=a1a2 …an , 将A ?w换成 A ?a1A1, A1 ?a2A2 , …, An-1 ?an , 将A ?wB换成 A ?a1A1, A1 ?a2A2 , …, An-1 ?anB 说明 由于这两个产生式与相应产生式组一一 对应，且表示了相同功能，因此它们产生的语言也等价。 该定理实际上是说明： 产生式组A ?w｜wB与产生式组 A?a1A1, A1?a2A2, …, An-1?an|anB的表达能力相同，因此产生的语言也等价。 形式化的证明 为证明由产生式组A ?w|wB得到的G与由引入产生式组A?a1A1, A1?a2A2, …, An-1 ?an | an B而构造的G’满足 L(G’) = L(G)，需要证明对 ? x ? T*, x ? L(G’)? x ? L(G) ， 即S x ? S x 施归纳于推导的步数，可证明一个更一般的结论：对?A ? V, A x ? A x 注意 (1) 这里是对两个模型的等价性证明。 (2) 为证明一个特殊的结论，可以通过证明一个更一般的结论来完成。 (3) 施归纳于推导的步数，这里实际上为字符串的个数。有的情况则为字符串的长度。 (4) 构造与证明。（思路非常重要） 定义2-7 设G = (V, T, P, S)，如果对于? ? ? ? ? P， ? ? ?均具有如下形式： A ?w A ?wBx 其中A, B ? V ， w，x ? T*，则称G为线性文法，对应地，L(G)叫作线性语言。 线性文法的特点：从一个变量一次只能产生(推导)出最多一个变量，这是线性的由来。 定义2-8 设G = (V, T, P, S)，如果对于 ? ? ? ? ? P, ? ? ?均具有如下形式： A ?w A ?wB 其中A, B ? V, w ? T+，则称G为右线性文法，对应地，L(G)叫作右线性语言。 相应地定义左线性文法和左线性语言 说明 显然，左/右线性文法都是线性文法，而线性文法可以既不是左线性文法，又不是右线性文法。 定理2-2 L是一个左线性语言的充要条件是存在 文法G， G中的产生式要么是形如 A ? a的产生式，要么是A ? Ba的产生式， 且L(G) = L。 其中A, B为语法变量，a为终极符号。 问题 右线性文法就是RG 右线性语言就是RL 左线性文法产生的语言是不是RL？ 定理2-3 左线性文法与右线性文法等价。 例2-17 语言{0123456}的右线性文法的构