第2章文法和语言(免费阅读).pptVIP

重点回顾 推导与归约 直接推导、直接归约 推导和归约 规范推导、规范归约 句型、句子、语言的定义 语法树 子树与简单子树 重点回顾 子树与短语的关系 短语——子树的末端节点形成的符号串是相对于子树根的短语 直接短语——简单子树的末端节点形成的符号串是相对于简单子树根的直接短语 句柄——最左简单子树的末端节点形成的符号串 * 机器所能识别的文法〈——〉人所能识别的语言（自然语言或枚举法语言） 涉及关于这种转换的习题 * 文法已知 如何确定语言 直接推导标记 推导标记区分 * X,y分别表示？ * +推导1步或若干步 明确标记书写规范 *广义推导0步或若干步 * 我是大学生 * 如何证明句子句型 定义 * 由语言定义可知，文法给定，语言也确定 方法：分析并推出一些什么样子的句子，找出规律，用式子或自然语言描述 * 两类转换 此题根据文法推出语言 2.5-2.9（教案）例题 语言确定唯一 根据语言，还可设计文法 * * 规范规约符号 * 书p21 * 书p21 * 左右推导应构造出同一棵树 定义:如果一个文法存在某个句子对应两棵不同的语法树，则说这个文法是二义的。二义性文法存在某个句子,它有两个不同的最左（右）推导 对于一个程序设计语言来说，希望它的文法是无二义的，因为希望对它的每个语句的分析是唯一的。 文法G1： E→ E+E | E×E |（E） | i 文法G2： E→T|E+T T→F|T×F F→(E)| i 等价的无二义文法 4.文法的二义性(Ambiguity) 2.6 文法和语言的分类 通过对产生式施加不同的限制，乔姆斯基（Chomsky）将文法和语言分为四种类型（0、1、2、3型）。 0型文法(无限制文法)： 对任一产生式α→β，都有α∈(VN∪VT)*且至少含有一个非终结符， β∈(VN∪VT)* 0型文法描述的是0型语言（无限制语言） 2.6 文法和语言的分类 例：G[S]: S-0AB 1B-0 B-SA|01 A1-SB1 A0-S0B 2.6 文法和语言的分类 1型文法(上下文有关)： 文法G中每一条规则的形式为?Aβ →?uβ，都有α、β∈(VN∪VT)*,A∈VN ， u∈(VN∪VT)+。称G是1型文法。 它表示当A的上文为?且下文为β时可把A替换成?，因此称1型文法为上下文有关文法。 |?Aβ|?| ?uβ | 1型文法描述的是1型语言（上下文有关语言） 例 文法G[S]： S→aSBE S→aBE aB→ab bB→bb bE→be eE→ee 2.6 文法和语言的分类 2.6 文法和语言的分类 2型文法(上下文无关文法)： 它是1型文法的特例，对任一产生式α→β，都有α∈VN ， β∈(VN ∪ VT)*，则称G是2型文法。 2型文法描述的是2型语言（上下文无关语言） 例 文法G[S]： S→AB A→BS|0 B→SA|1 2型文法产生式的一般形式是: A→?，它表示不管A的上下文如何都可把A替换成?，因此被称为上下文无关文法。 通常程序设计语言的文法，可用2型文法来描述，因此我们重点研究2型文法。 2.6 文法和语言的分类 2.6 文法和语言的分类 3型文法(正规文法)： 它是2型文法的特例，任一产生式α→β的形式都为 A→aB或A→a；（A→Ba或A→a）其中A ，B∈VN ，a∈VT。 3型文法描述的是3型语言（正规语言）。 在程序设计语言中，3型文法通常用来描述单词的结构。 文法类别 产生式形式 产生的语言 说明 0型文法 (短语文法) α→β α∈V+ ,且至少含一个非终结符，β∈V* 0型语言 对产生式基本无限制 1型文法 (上下文有关文法) α→β，|β|≥|α| 1型语言（上下文有关语言） 将A替换成?时，必须考虑A的上下文 2型文法 (上下文无关文法) A→β，A∈VN ， β∈V* 2型语言（上下文无关语言） 无需考虑A在上下文中的出现情况 3型文法 (正规文法) A→aB 或 A→a，(右线性) A→Ba 或 A→a，(左线性) A,B∈VN ，a∈VT 3型语言 (正规语言) 产生式全部是规定的形式 2.6 文法和语言的分类 四种文法之间的逐级“包含”关系 2型文法 1型文法 3型文法 0型文法 2.7 自上而下的分析方法 定义: 从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导。 语法树的构造：将文法的开始符号作为语法树的根，向下逐步建立语法树，使语法树的末端结点符号串正好是输入符号串。 例 文法G：S → cAd A → ab| a 识别输入串w=cabd是