第03章、文法和语言资料.pptVIP

* 3.7 文法实用中的一些说明-化简文法 一、文法中不含有害规则和多余规则 1. 有害规则：形如P→P的产生式。会引起文法的二义性。 2. 多余规则：指文法中任何句子的推导都不会用到的规则。 文法中不含有不可到达和不可终止的非终结符。 3. 不可到达：文法中某些非终结符不在任何规则的右部出现，该非终结符称为不可到达。 4. 不可终止: 文法中某些非终结符，由它不能推出终结符号串，该非终结符称为不可终止。 * 二、不含多余非终结符的条件对于文法G[S]，为了保证任一非终结符A在句子推导中出现，必须满足如下两个条件：1. A必须在某句型中出现即有S αAβ，其中α，β属于V*2. 必须能够从A推出终结符号串t来即A t，其中t∈VT* * * * 三、化简文法例 例：G[S] ： 1 S→Be2 B→CeD为不可到达3 B→AfC为不可终止4 A→Ae5 A→e6 C→Cf7 D→f产生式 2），6），7）为多余规则，应去掉。 * 四、上下文无关文法中的ε规则 具有形式A→ε的规则称为ε规则，其中A∈VN 某些著作和讲义中限制这种规则的出现。因为ε规则会使有关文法的一些讨论和证明变得复杂 两种定义的唯一差别是ε句子在不在语言中。 1. 什么是ε规则 * 2. ε规则不影响语言的性质如果语言L有一个有穷的描述，则L∪ε也同样有一个有穷描述。并且可以证明，若L是上下文有关语言、上下文无关语言或正规语言，则L∪ε和L-ε分别是上下文有关语言、上下文无关语言和正规语言。 * 思 考 本章目的为语言的语法描述寻求工具，以便： 对源程序给出精确无二义的语法描述。（严谨、简洁、易读） 根据语言文法的特点来进行语法分析 从描述语言的文法可以自动构造出可用的分析程序 制导语义翻译 1.什么是文法，什么是它的语言? 2.我们为什么关注上下文无关文法? 3.语法分析方法的分类? * [本章小结] 1.本章出现的概念较多，应重点理解文法、推导、句型句子及语言的定义等概念，语法分析有关内容在后面章节会详细讨论。 2.文法作为程序语言的语法的描述工具。它用规则只能陈述的是：语言的所有句子以什么样的符号串能出现。请记住文法和语言的形式定义中的 “形式”的含义只涉及语言的语法不涉及语言的语义。 3.本章内容是形式语言理论的一部分，形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。 * [本章小结]考察本章知识点最典型的题目是 1.已知文法G[S]，写出它定义的语言描述 如：G[S]: S → 0S|1S|0|1 答案: G[S]定义的语言是：由0、1组成的非空符号串（或：二进制数）。 2.给出语言描述，构造文法. 如：构造一文法,其定义的语言是由算符+, *, ,和运算对象i构成的算术表达式的集合. 答案1: G[E] E→E+T|TT→T*F|FF→E|i 答案2: G[E] E→E+E|E*E|E|i * 相关术语的回顾 上下文无关文法 句型、句子和语言 验证文法生成的语言 语法树和推导 句型分析，语法分析 二义性 * 第3章（文法和语言）作业 P47 练习4 ，9，11，141作业要求及说明：1 作业一律用B5纸张（小16开）；2 一般每章交一次作业，该章学完后上交。特殊情况另作说明；3 作业页眉写：班级、班内序号、姓名。交作业时以班为单位，由课代表负责收齐，按学号排好序后再交，否则按未做处理。 * * * 文法的类型续 2型文法（上下文无关文法）：对任一产生式α→β，都有α∈VN ， β∈VN∪VT* 3型文法（正规文法）：任一产生式α→β的形式都为A→aB或A→a，其中A∈VN ，B∈VN ，a∈VT * 文法的类型举例 例：1型（上下文有关）文法 文法G[S]： S→CD Ab→AaC→aCA Ba→BAC→bCB Bb→AbAD→aD C→aBD→bD D→aAa→Da * 文法的类型举例 例：2型（上下文无关）文法文法G[S]： S→ABA→BS|0B→SA|1 * 文法的类型举例 G[S]：S→0A|1B|0A→0A|1B|0SB→1B|1|0 G[I]： I → lT I → l T → lT T → dT T → l T → d 例：3型文法（正规文法） * 四种文法之间的逐级“包含”关系 2型文法 1型文法 0型文法 3型文法 * 文法和语言 0型文法产生的语言称为0型语言 1型文法或上下文有关文法（ CSG ）产生的语言称为1型语言或上下文有关语言（CSL） 2型文法或上下文无关文法（ CFG ）产生的语言称为2型语言或上下文无关语言（ CF L ） 3型文法或正则（正规）文法（ RG ）产生的语言称为