形式语言与自动机理论课件 第七章----下推自动机.pptVIP

第7章 下推自动机 主要内容 PDA的基本概念 PDA的构造举例 用终态接受语言和用空栈接受语言的等价性 PDA是CFL的接受器 重点 PDA的基本定义及其构造 难点 根据PDA构造CFG;根据CFG构造PDA 下推自动机的结构 扩充办法：引入一个下推栈 ①? 足够简单 ②? 可解决许多有意义的问题， 如:识别有效的程序 下推自动机PDA（Push Down Automaton） 由一条输入带,一个有限状态控制器和一个下推栈组成 栈：后进先出表， 对栈的操作（压入、弹出）均在栈顶进行。 第7章 下推自动机 PDA描述CFL，所以它应该与CFG等价。 PDA应该包含FA的各个元素，或者包含那些可以取代FA的各个元素的功能的元素。 PDA按照最左派生的派生顺序，处理处于当前句型最左边的变量，因此，需要采用栈作为其存储机构。 按照FA的“习惯”，PDA用终态接受语言。 模拟GNF的派生PDA用空栈接受语言。 7.1 基本定义 PDA的物理模型 7.1 基本定义 PDA应该含有三个基本结构 存放输入符号串的输入带。 存放文法符号的栈。 有穷状态控制器。 PDA的动作 在有穷状态控制器的控制下根据它的当前状态、栈顶符号、以及输入符号作出相应的动作，在有的时候，不需要考虑输入符号。 7.1 基本定义 下推自动机(pushdown automaton，PDA) M = (