cmpl_02.pptVIP

? alpha ? nu ? beta ? omicron ? chi ? pi ? delta ? theta ? epsilon ? rho ? phi ? sigma ? gamma ? tau ? eta ? upsilon ? iota ? ? phi ? omega ? kappa ? xi ? lambda ? ? mu ? zeta 第二章 高级语言及其语法描述 * * E E + T T F T * F F i i i 则句子 i*i+i 只有唯一一棵语法树。 改写后的文法与原文法等价且为无二义性文法。 此例告诉我们，对于有二义性文法描述的文法， 有时可以找到等价的无二义性文法来描述它。 * 【例2.15】定义某程序设计语言条件语句的文法 G 为 S → if b S | if b S else S | A (其他语句) 试证明该文法是二义性的，并消除它。 分析：该文法的句子 if b if b A else A 对应下图中两颗不同的语法树，所以文法是二义性的。 S if b S b S else A A if S S if b S b S else A A if S * 消除文法的二义性可采用下面两种方法 (1)不改变已有规则，仅加进一项非形式的语法规定：else 与前面最接近的不带 else 的 if 相对应。 这样，文法 G 的句子 if b if b A else A 只对应唯一的一棵语法树。 S if b S b S else A A if S * (2)改写文法 G 为 G’: S → S1 | S2 S1 → if b S1 else S1 | A S2 → if b S | if b S1 else S2 因为引起二义性的原因是 if-else 语句的 if 后可以是 if 型，因此改写文法时规定 if 和 else 之间只能是 if-else 语句或其他语句。 句子 if b if b A else A 只对应唯一的一棵语法树。 S if b S b S1 else A A if S1 S2 * 语句→匹配句|非匹配句 匹配句→if 条件 匹配句 else 匹配句 |其它语句 非匹配句→if 条件 语句 | if 条件 匹配句 else 非匹配句 * 语言的二义性是指不存在一个无二义的文法 G，使得L(G)就是语言本身。 例如：L={aibjck | i=j或j=k,i,j,k?1}是先天二义性语言。 注意：文法的二义性和语言的二义性是两个不同的概念。我们可能有两个不同的 G 和 G’，其中一个是二义的而另一个是无二义的，但是有 L(G) = L(G’)。 对于一个程序语言来说，常常希望它的文法是无二义的，因为我们希望对它的每个语句的分析是唯一的。 二义性问题是不可判定的。即不存在一个算法，能在有限步骤内确切的判定一个文法是否为二义的。 语言的二义性 * 2.3.3文法和语言的分类（形式语言鸟瞰） 自从 Chomsky 于 1956 年建立形式语言的描述以来，形式语言的理论发展得很快。 这种理论对计算机科学有着深刻的影响，特别是对程序语言的设计、编译方法和计算复杂性等方面更有重大的作用。 Chomsky把文法分成四种类型，即 0型、1型、2型和3型。这几类文法的差别在于对产生式的形式施加的限制从 0型到 3型依次增强，但它们表达语言的能力则依次减弱。 * 0 型文法(无限制文法) 若文法 G=(VN，VT，P，S)中的每条规则α→β是这样一种结构： α,β∈(VT ? VN)*，且 α 中至少含有一个 A∈VN 则称 G 是 0 型文法，0 型文法描述的语言是 0 型语言。 由定义可见，α 和 β 均是文法的终结符和非终结符组成的符号串，且 β 可能为空，而 α 不等于空， 即允许 |α||β| 由于 0 型文法没有加任何限制条件，故又称为无限制文法，相应的语言称为无限制语言。 * 【例】有0型文法 G=(VN，VT，P，S) 其中，VN={A,B,S} VT={0,1} P={ S→0AB 1B→0 B→SA | 01 A1→SB1 A0→S0B }其描述的 0 型语言为 L0(G[S])={} 非终结符 A 永远消不掉，不能终结。 * 1 型文法(上下文有关文法) 若文法 G=(VN，VT，P，S)中的每条规则 αAβ→α?β，其中 A∈VN，α,β∈(VT ? VN)*，?∈(VT ? VN)+， 则称 G 是 1 型文法，1 型文法描述的语言是 1 型语言。 由定义可见，利用规则将 A 替换成 ? 时，则必须考虑非终结符 A 只有在 α 和 β 这样的一个上下文环境中才可以把它替换为 ?，并且不允