程序设计语言编译原理(第3版)第2章.pptVIP

2.３程序语言的语法描述 例：句子　ｉ+ｉ＊ｉ的最左推导过程 Ｅ Ｅ Ｅ Ｅ * Ｅ + ｉ ｉ ｉ Ｅ Ｅ Ｅ Ｅ + Ｅ * ｉ ｉ ｉ 最左推导 Ｅ?Ｅ+Ｅ?ｉ＋Ｅ 　?ｉ＋Ｅ*Ｅ?ｉ＋ｉ＊Ｅ 　?ｉ＋ｉ＊ｉ Ｅ?Ｅ*Ｅ?Ｅ＋Ｅ*Ｅ 　?ｉ＋Ｅ*Ｅ?ｉ＋ｉ＊Ｅ 　?ｉ＋ｉ＊ｉ * 2.３程序语言的语法描述 最右推导 Ｅ Ｅ Ｅ Ｅ * Ｅ + ｉ ｉ ｉ Ｅ Ｅ Ｅ Ｅ + Ｅ * ｉ ｉ ｉ Ｅ?Ｅ+Ｅ?Ｅ＋Ｅ*Ｅ 　?Ｅ＋Ｅ*ｉ?Ｅ+ｉ＊ｉ 　?ｉ＋ｉ＊ｉ Ｅ?Ｅ*Ｅ?Ｅ*ｉ 　?Ｅ＋Ｅ＊ｉ?Ｅ+ｉ＊ｉ 　?ｉ＋ｉ＊ｉ * 2.３程序语言的语法描述 注意： Ａ、区分：文法的二义性——语言的二义性 　　二义文法Ｇ≠无二义文法Ｇ’　　但Ｌ（Ｇ）＝Ｌ（Ｇ’） 例如：Ｇ　：Ｅ?Ｅ+Ｅ｜Ｅ*Ｅ｜（Ｅ）｜ｉ Ｇ’：Ｅ?Ｔ｜Ｅ+Ｔ Ｔ?Ｆ｜Ｔ*Ｆ Ｆ?（Ｅ）｜ｉ ?Ｌ（Ｇ）＝Ｌ（Ｇ’） * B、二义问题是不可判定的： 即不存在一个算法，它能在有限步骤内，确切 的判定一个文法是否为二义的． 所能做的只是为无二义性寻找一组充分条件 2.３程序语言的语法描述 * 2.３程序语言的语法描述 三、形式语言 G=(VT ,VN ,S ,Ρ) 0型文法： ??? ?? (VN?VT)* ，至少有一个非终结符 任何产生式 ??? 均满足|?|≤ |?|； 仅S??例