北京邮电大学形式语言与自动机 推导树与文法二义性.pptVIP

fall 2001 第四章 上下文无关文法与下推自动机 推导树和文法的二义性 上下文无关文法的变换 Chomsky范式 Greibach范式 下推自动机 上下文无关语言的性质 本章要点 上下文无关文法（即2型文法）： 产生式形如 A→α, A??, ????∪Τ)* 所描述的语言称为上下文无关语言。 用途： 可定义程序设计语言、进行语法分析、简化语言翻译? 2型文法对应的识别器——下推自动机 PDA（Push Down Automata)由输入带、有限控制器和下推栈构成（书P152 图） 归约与推导的概念: 归约与推导 归约与推导 归约与推导 归约与推导 推导树 用图的方法表示一个句型的推导，这种图称为推导树（也称语法树或语法分析树）。有助于理解语法结构的层次。 定义方法： 文法的起始符为根，树的枝结点标记是非终结符，叶结点标记为终结符或?。 若枝结点有直接子孙x1, x2,…, xk，则文法中有生成式A→x1 x2…xk 推导树举例 例：（书P124 例1） 文法S→S+S | S*S |(S)| a ， 对句子 (a*a+a) 可有推导树 边缘 叶子从左向右组成的字符串称为推导树的边缘。 如图 x1 y1 y2 x3? xm xm+1? xn-1 y3 y4 y5是树的边缘 定理： 设2型文法G=（N，T，P，S），如果存