第2章高级语言及其语法描述案例.ppt

2.３程序语言的语法描述 2、二义文法 用若一个文法中存在某个句子，它有两个不同的 　最左／右推导，则该文法为二义文法． 例：上述文法Ｇ　Ｅ?Ｅ＋Ｅ｜Ｅ*Ｅ｜（Ｅ）｜ｉ 实质：同一个句子存在两棵语法分析树。 * 2.３程序语言的语法描述 例：句子　ｉ+ｉ＊ｉ的最左推导过程 Ｅ Ｅ Ｅ Ｅ * Ｅ + ｉ ｉ ｉ Ｅ Ｅ Ｅ Ｅ + Ｅ * ｉ ｉ ｉ 最左推导 Ｅ?Ｅ+Ｅ?ｉ＋Ｅ 　?ｉ＋Ｅ*Ｅ?ｉ＋ｉ＊Ｅ 　?ｉ＋ｉ＊ｉ Ｅ?Ｅ*Ｅ?Ｅ＋Ｅ*Ｅ 　?ｉ＋Ｅ*Ｅ?ｉ＋ｉ＊Ｅ 　?ｉ＋ｉ＊ｉ * 2.３程序语言的语法描述 最右推导 Ｅ Ｅ Ｅ Ｅ * Ｅ + ｉ ｉ ｉ Ｅ Ｅ Ｅ Ｅ + Ｅ * ｉ ｉ ｉ Ｅ?Ｅ+Ｅ?Ｅ＋Ｅ*Ｅ 　?Ｅ＋Ｅ*ｉ?Ｅ+ｉ＊ｉ 　?ｉ＋ｉ＊ｉ Ｅ?Ｅ*Ｅ?Ｅ*ｉ 　?Ｅ＋Ｅ＊ｉ?Ｅ+ｉ＊ｉ 　?ｉ＋ｉ＊ｉ * 2.３程序语言的语法描述 注意： Ａ、区分：文法的二义性——语言的二义性 　　二义文法Ｇ≠无二义文法Ｇ’　　但Ｌ（Ｇ）＝Ｌ（Ｇ’） 例如：Ｇ　：Ｅ?Ｅ+Ｅ｜Ｅ*Ｅ｜（Ｅ）｜ｉ Ｇ’：Ｅ?Ｔ｜Ｅ+Ｔ Ｔ?Ｆ｜Ｔ*Ｆ Ｆ?（Ｅ）｜ｉ ?Ｌ（Ｇ）＝Ｌ（Ｇ’） * B、二义问题是不可判定的： 即不存在一个算法，它能在有限步骤内，确切的判定 一个文法是否为二义的。 所能做的只是为无二义性寻找一组充分条件 2.３程序语言的语法描述 * 2.３程序语言的语法描述 三、形式语言 G=(VT ,VN ,S ,Ρ) 0型文法： ??? ?? (VN?VT)* ，至少有一个非终结符 任何产生式 ??? 均满足|?|≤ |?|； 仅S??例外，但S不得出现在任何产生式的右部。 1型文法： 短语文法 上下文有关文法 * 2.３程序语言的语法描述 2型文法： A??, A?VN , ??(VN? VT)* G的任何产生式为A??B或 A?? 其中??VT*，A、B ? VN 。 3型文法： G的任何产生式为A ?B ?或 A??， 其中??VT*，A、B ? VN 。 上下文无关文法 正规文法 右线性正规文法 左线性正规文法 * 2.３程序语言的语法描述 例、已知文法Ｇ：A?abc Ａ?aBbc Ｂb?bB Ｂc?Cbcc bC?Cb aC?aaＢ aC?aa 定义了一个什么样的语言？ * 总结 1、上下文无关文法的概念 2、最左/右推导、语法分析树 3、文法二义性 4、文法的分类 * * * * * * 正确理解程序设计语言中语法和语义的含义，了解书上列举的高级语言中的一般特性。一般情况下，这两点是不会直接考查的，如果是想考查某种高级语言的特性，也会放在后面的优化或目标代码生成章节中进行考查。所以，这里只要求理解及了解。 但是，下面的这些东东就是必须掌握的了，而且是必须通过大量作题掌握的：? 1.上下文无关文法的定义，判断和转化，以及与上下文无关文法密切相关的概念。首先，应该掌握上下文无关文法的四个构成要素；其次，应该清楚对于上下文无关文法，其每个产生式的左部和右部必须满足的条件。 在有关上下文无关文法的考点中，有这样几种考查方式：给出某语言的自然语言描述方式，要求写该语言的上下文无关文法表述形式；给出某语言的上下文无关文法，要求用自然语言描述该语言； 给出某语言的上下文无法方法，要求证明该文法是否二义；给出某语言的上下文无关文法，要求给出指定句子的最左或最右推导；给出某语言的上下文无关文法，要求给出指定句子的语法分析树； 给出一个具有二义性的上下文无关文法，要求将其转换成非二义性的。 以上的综合分析，几乎含盖了所有与上下文无关文法有关的出题角度，大家应该全部掌握。 ? 2.乔姆斯基的文法分类。? 首先，应该非常清楚乔姆斯基对于四种文法分类的定义，并能理解其含义。几种文法中，最基本的是0型文法，可以将它理解为其它所有文法的基础，它是可以表示任何语言的文法。后面的1，2，3三种文法，是分别对于0型文法产生式的两边作了不同的限制之后，形 成了新的文法。比如：规定0型文法的每个产生式中，其左边字符集长度小于右边字符集长度并且同时规定开始符号只可出现于产生式的左边，不能出现在任何产生式的右边，这样，就成为了 1型文法(即上下文有关文法)。其它与此类似，在1型文法的基础上，进一步规定该文法的任意产生式，其左部只允许有一个字符且必须为非终结符，这样就构成了上下文无关文法；再在上下文无关文法的基础上进行限制：规定除了左部有且只有一个非终结符外，还特别规