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