编译原理ppt9.ppt

语法树与文法的二义性 语法树与推导过程的对应 一棵语法树表示了一个句型的种种可能(不一定是所有的)的推导过程. E E E ( ) + E E * E i i i E?(E) ?(E+E) ?(E*E+E) ?(i*E+E) ?(i*i+E) ?(i*i+i) E?(E) ?(E+E) ?(E*E+E) ?(E*i+E) ?(E*i+i) ?(i*i+i) E → (E) | E+E | E*E | i E?(E)?(E*E) ?(i*E) ?(i*E+E) ?(i*i+E) ?(i*i+i) E E E ( ) * E E + E i i i 语法树与文法的二义性 文法的二义性 如果文法的一个句子存在对应的两棵或两棵以上的语法树，则该句子是二义的，包含二义性句子的文法是二义文法。（ 若一个文法中存在某个句子，它有两个不同的最左或最右推导，则这个文法是二义的。 ） 语法树与文法的二义性 文法的二义性句例： 对于上例中的文法可找到与之等价的非二义性文法： (0)　E → T | E+T (1) T → F | T*F (2) F →(E) | i 对于句子 (i*i+i) 就只有一种最左推导： E ? T ? F ?(E) ?(E+T) ?(T+T) ?(T*F+T) ?(F*F+T) ?(i*F+T) ?(i*i+T) ?(i*i+F) ?(i*i+i) 对于一个程序语言来说，常常希望它的文法是无二义的。 文法二义性问题是不可判定的，也就是不存在一种算法，能在有限步内确切的判定一个文法是否是二义性文法。若要证明文法是二义性，只要举出一例即可。 文法与语言的形式定义 语言的形式定义 (形式语言 ) 乔姆斯基 (Chomsky) 将文法分成四种类型： 0型、 1型、 2型、 3型 文法 G为一四元组 G=(VN，VT，S，P) ，其中： VN　非终结符号集合； VT　终结符号集合； P　产生式的有穷集合，一般形式 为α → β； S　文法开始符号， S∈VN 文法与语言的形式定义 0型文法 (短语文法 、无限制文法):  G的任何产生式 α→β均有 α∈(V N∪ VT)+ 且至少含有一个非终结符，而 β∈(VN∪VT)* 对0型文法分别加上以下第 i条限制，就得到 i型文法， i型文法生成的语言成为 i型语言。 1. G的任何产生式 α→β均满足 | α |≤ | β |；仅S→ε例外，且S不得出现在任何产生式的右部。（又称为 上下文有关文法 ） 文法与语言的形式定义 G的任何产生式为 A→β, A∈VN, , β∈ (VN∪VT)*　 　（又称为 上下文无关文法 ） 3. G的任何产生式为 A→αB 或 A→α，其中α∈VT* , A,B∈VN　　 　（又称为正规文法或右线性文法，若A→Bα 或 A→α则称为正规文法或左线性文法）?? 文法与语言的形式定义 0型文法强于 1型， 1型强于 2型， 2型强于 3型 0型 3型 2型 1型 0型 作业 第一章： 　　画出编译程序的结构并给出各模块的功能。 第二章： 　35-36页3, 4, 6, 7, 8,9,11 附录:部分希腊字母读音 A α 阿尔法 Alpha B β 贝塔 Beta Γ γ 伽玛 Gamma Δ δ 德尔塔 Delta Ε ε 伊普西隆 Epsilon Ζ ζ 泽塔 Zeta Η η 伊塔 Eta Θ θ 西塔 Theta Ι ι 约塔 Iota Κ κ 卡帕 Kappa ∧ λ 兰姆达 Lambada Μ μ 米欧 Mu Ν ν 纽 Nu Ξ ξ 克西 Xi Ο ο 欧米克隆 Omicron ∏ π 派 Pi Ρ ρ 柔 Rho ∑ σ 西格玛 Sigma Τ τ 陶 Tau Υ υ 玉普西隆 Upsilon Φ φ 弗爱 Phi Χ χ 凯 Chi Ψ ψ 普赛 Psi Ω ω 奥米伽 Omega 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识