形式语言与自动机课件——上下文无关文法与下推自动机.ppt

College of Computer Science Technology, BUPT * College of Computer Science Technology, BUPT 第四章 上下文无关文法与下推自动机 推导树和文法的二义性 上下文无关文法的变换 Chomsky范式 Greibach范式 下推自动机 上下文无关语言的性质 * College of Computer Science Technology, BUPT 本章要点 上下文无关文法（即2型文法）： 产生式形如 A→α, A??, ????∪Τ)* 所描述的语言称为上下文无关语言。 用途： 可定义程序设计语言、进行语法分析、简化语言翻译? 2型文法对应的识别器——下推自动机 PDA（Push Down Automata)由输入带、有限控制器和下推栈构成（书P152 图） * College of Computer Science Technology, BUPT 回顾：在第一讲中介绍过如下内容 设 T= ? 0, 1 ?， L = ? 0n1n ? n ? 1?， 如 0011, 000111, 01 ? L, 而10, 1001 , ?, 010 ? L . 如下是一个可接受该语言的上下文无关文法? S ? 01