编译原理语法2[推导和语法树].pptVIP

第 5 讲;第三章 语法分析;第三章《语法分析》 3.2 推导与语法树 推导与短语 语法树与二义性 重点掌握 短语、句柄的概念 二义性的消除 ;3.2.1 推导与短语 1、规范推导 在3.1.1节中，所给句子i+i*i推导序列中的每一步推导都是对句型中的最右非终结符用相应产生式的右部进行替换，这样的推导称为最右推导（规范推导），规范推导的逆过程称为规范规约 如果每一步推导都是对句型中的最左非终结符用相应产生式的右部进行替换，则称为最左推导 ;3.2.1 推导与短语 2、短语 设αβδ是文法G[S]的一个句型，如果有： 则称β是句型αβδ关于非终结符A的一个短语，或称β是αβδ的一个短语。特别是有A→β产生式时，β为句型αβδ的一个直接短语或简单短语 短语的两个条件缺一不可。仅有A → β未必意味着β就是句型αβδ的一个短语，还需要有 加以限制；即短语属于句型的组成部分。 ;3.2.1 推导与短语 3、句柄 一个句型的最左直接短语称为该句型的句柄。注意，一个句型的直接短语可能不只一个，但最左直接短语则是惟一的。 ;3.2.1 推导与短语 ;3.2.1 推导与短语 ;例5.2 文法G E →?T | E +T T →? F | T * F F →? i |（E）i1*i2+i3 是文法G的一个句型吗？如果是，求出其句柄。;3.2.1 推导与短语 4、素短语 含有终结符的短语，如果它不存在也具有同样性质的真子串（不能包含有另一个素短语），则该短语为素短语 (1)是短语 (2)至少包含一个终结符 (3)不再包含其它素短语例如，在 中，i、E*i和E+E*i是句型E?+?E*i的三个短语；其中i为素短语；E*i虽为短语且含有终结符，但它的真子串i是素短语，故E*i不是素短语；同样E+E*i也不是素短语。 ;3.2.1 推导与短语 4、素短语(练习) ;3.2.2 语法树与二义性 对程序语言来说，有两个问题需要解决： (1)判别程序在语法上是否正确； (2)句子的识别或分析。 在编译方法中，为了便于识别或分析句子而引入了语法树这一重要的辅助工具 语法树以图示化的形式把句子分解成各个组成部分来描述或分析句子的语法结构，这种图示化的表示与所定义的文法规则完全一致，但更为直观和完整 ;3.2.2 语法树与二义性 1、语法树(定义) 对文法G[S]?=?(VT, VN, S, ξ)，满足下列条件的树称为G[S]的语法树：(1) 每个结点用G[S]?的一个终结符或非终结符标记；(2) 根结点用文法开始符S标记； (3) 内部结点(指非树叶结点)一定是非终结符，如果某内部结点A有n个分支，它的所有子结点从左至右依次标记为x1、x2、…、xn，则A?→?x1x2…xn一定是文法G[S]的一条产生式； (4) 如果某结点标记为ε，则它必为叶结点且是其父结点的惟一子结点。;图3-4 句子i+i*i的语法树;3.2.2 语法树与二义性 2、子树与短语 语法树某个结点连同它的所有后代组成了一棵子树。只含有单层分枝的子树称为简单子树。 子树与短语的关系十分密切，根据子树的概念，句型的短语、直接短语、句柄和素短语的直观解释如下： (1) 短语：子树的末端结点(即树叶) 组成的符号串是相对于子树根的短语； (2) 直接短语：简单子树的末端结点 组成的符号串是相对于简单子树根的 直接短语;3.2.2 语法树与二义性 2、子树与短语 (3) 句柄：最左简单子树的末端 结点组成的符号串为句柄； (4) 素短语：子树的末端结点组 成的符号串含终结符，且在 该子树中不再有包含终结符的更小子树 显然，从语法树出发寻找短语、直接短语、句柄和素短语要直观得多。注意:子树末端结点组成的符号串是指由该子树根开始向下生长的所有末端结点(即树叶)，该子树的部分末端结点并不是该子树的短语。 ;图3-5 E+E*i的语法树;3.2.2 语法树与二义性 3、语法的二义性 对于文法任一句型的推导序列，总能为其构造一棵语法树，那么文法的某个句型是否只对应一棵唯一的语法树呢？也就是它是否只有唯一的一个最左（最右）推导呢？ 对于文法(3.1)，句子i+i*i存在两种最左（最右）推导，形成两棵不同的语法树:;图3-7 句子i+i*i的两棵不同的语法树;3.2.2 语法树与二义性 3、语法的二义性 再如，条件语句的文法G[S]为　　 G[S]: S?→?if b S