确定的下推自动机-Read.pptVIP

形式语言与自动机 主讲：方 敏 西安电子科技大学 第三章 上下文无关文法 与下推自动机  目 录 3.1 推导树与二义性 3.2 上下文无关文法的改写 3.3 Chomsky范式和Greibach范式 3.4 CFL的泵引理 3.5 下推自动机 3.6 上下文无关文法与下推自动机 3.7 上下文无关语言的性质 3.8 CFG中的ε规则 上下文无关文法和它所描述的上下文无关语言，在定 义程序设计语言、语法分析、简化程序设计语言的翻译 等方面有重要的意义. 内容：1、上下文无关文法 　　　2、两个范式:Chomsky 范式,Greibach范式 　　　3、确定的下推自动机、非确定下推自动机(PA) (Pnshdown Antomator) 　　　4、对任何CFA都能找到一种具有特有形式的 等价的CFG (Context-Free Grammar) 与上下文无关文法相应的识别器是下推自动机. 确定的下推自动机对应于上下文无关语言的一个子集(大部分程序设计语言) 例如:程序设计语言中的数套结构,用CFG描述而ｒG不行 3.1 推导树与二义性(语法树) 树中的一个枝结点A，有直接子孙ｘ1ｘ2