第2章语言分析基础.pptVIP

S→aSBE S→aBE BE→bE aB→ab bB→bb bE→be eE→ee 例：2型（上下文无关）文法 文法G[S]：S→AB A→BS | 0 B→SA | 1 　　　　　　 S→ε G[S]： S→0A | 1B | 0 A→0A | 1B | 0S B→1B | 1 | 0 二义性的不确定性 二义性会给语法分析带来不确定性。如果一个句子具有二义性，那么对这个句子的结构可能有多种‘正确’的解释。所以，二义性一般是有害的。 文法的二义性是不可判定的 即不存在算法，能够在有限步数内确切判定一个文法是否为二义文法。 若要证明是二义性，只要举出一例。 若能控制文法的二义性，即加入人为的附加条件，则二义文法的存在并非坏事。 2.5 上下文无关文法及其语法树 文法二义性消除 (1) 不改变文法中原有的语法规则，仅加进一些 语法的非形式规定。 (2) 构造一个等价的无二义性文法，即把排除二 义性的规则合并到原有文法中，改写原有的 文法。 2.5 上下文无关文法及其语法树 文法二义性消除示例 【例】对文法G[E]，不改变已 有的四条规则，仅加进运算符 的优先顺序和结合规则，即： （1） *优先于+ （2） *、+都服从左结合 这样，对文法G[E]中的句子 i+i*i就只有如右图所示的惟 一一棵语法树。 i Ｅ ＋ i Ｅ ＊ i Ｅ Ｅ Ｅ 2.5 上下文无关文法及其语法树 文法G[E]如下： E→E+E E→E*E E→( E ) E→i 句子i+i*i的语法树 2.5 上下文无关文法及其语法树 文法二义性消除示例 【例】将文法G[E]改写为无 二义性的文法如下： G[E]: E→E+T∣T T→T*F∣F F→(E)∣i 此时，句子i+i*i就只有如右 图所示的惟一一棵语法树。 解：∵ 存在二义句子 i∨i∧i。 ∴ 是二义文法。文法没有规定∧、∨、? 的优先级和结合性。 按惯例规定∧、∨、? 的优先级和结合性，改写文法为无二义的文法：S → S∨A | A A → A∧B | B B → ?S | (S) | i 判断文法：S→S∧S | S∨S | ?S | i 是否二 义文法？如果是，为它写一个等价的无二义文法。 课堂练习 第二章 语言分析基础 语言分析基础 文法和语言概述 字母表和符号串 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 句型的分析 有关文法实用中的说明 形式语言(Chomsky)：通过抽象，对语言进行形式化描述，用一组数学符号和规则来描述的语言称为形式语言。 　　?*的任何子集称作?上的形式语言。 L（G[S]）={α | α ∈VT*,S ? α} + 由文法定义语言： 2.4 文法的类型 文法 G[S] =（VN ， VT ， P ， S） VN ：有穷非空的非终结符号集 VT ：有穷非空的终结符号集，且VN∩VT=Φ P： 有穷非空产生式或规则的集合 S： 开始符号（识别符号） S∈VN ， S至少要在 一条规则中作为左部出现。 Chomsky对文法中的规则施加不同限制，将文法和语言分为四大类： 0型文法 ? 0型语言或短语结构语言 1型文法 ? 1型语言或上下文有关语言 2型文法 ? 2型语言或上下文无关语言 3型文法 ? 3型语言或正则(正规)语言 2.4 文法的类型 0型语言：L0 0型文法称为无约束短语结构文法。规则的左部和右部都可以是符号串，一个短语可以产生另一个短语。 0型文法，P：α::=β，其中：α∈V*且至少含有一个非终结符，β∈V* 。 2.4 文法的类型 0型文法，G[S]: S→ABS | AB AB→BA A→0 B→1 L(G[S])={x | x是由n个01或10组成的二进制数字串，n≥1} 该文法产生的语言为 2.4 文法