有限自动机理论05章节下推自动机.ppt

第五章 下推自动机 PDA FA识别正则语言(右线性语言) PDA识别上下文无关语言 FA只能处理正则语言 正则文法生成无穷语言是由于 A-wA 不需要记录w的个数 无关文法生成无穷语言 A-αAβ 需要记录α和β之间的对应关系 无法用FA的有穷个状态来表示。 为FA扩充一个无限容量的栈 用栈的内容和FA的状态结合起来就可以表示无限存储。 这种模型就是下推自动机PDA PDA作为形式系统最早于1961年出现在 Oettinger 的论文中。 与上下文无关文法的等价性由Chomsky于1962年发现。 与FA比较 PDA具有一个栈存储器 有两个操作： 入栈---将内容压入栈中 出栈---将栈顶元素移出 下推自动机物理模型 栈存储器 存放不同于字母的符号 只能对栈顶元素进行操作。 下推自动机动作 根据 FSC当前的状态 输入带上的当前字符 栈顶符号 进行状态改变和入栈或出栈操作 将读头向右移动一个单元 5.1.1 确定的下推自动机 例5-1 语言 L={w|w∈(a,b)*，且a、b个数相等} 暂时不考虑状态 (或PDA仅有一个状态) 初始 栈为空 从左到右逐个扫描串w∈(a，b)* 入栈 若栈为空,当前符号是a,则A入