第三章 第四讲 下推自动机.pptVIP

章 上下文无关文法与下推自动机  讲 下推自动机  一、有关概念 、下推自动机的特点 特点：下推自动机( )是一种类似于的新型计算机模型，它比多了一个下推栈。下推栈在控制器的有限存储量之外增加了一个附加的存储，从而使得下推自动机能够识别某些非正则语言。 引例：前面曾用泵浦定理(定理）证明：(){≥}不是正则集。这就表明无法用有限自动机来识别该语言。这是因为： 对于任意的正整数，至少必须有一个状态用以记住“个”，则用状态转换图表示这种情况，在对任意大的来说，有如下无限状态转换图： .......... .......... 显然，上述无限状态的模型是无法用有限状态自动机来表示的，因此需要扩充机器的能力。 一、有关概念 、下推自动机的特点 引例：前面曾用泵浦定理(定理）证明：(){≥}不是正则集。这就表明无法用有限自动机来识别该语言。这是因为： 对于任意的正整数，至少必须有一个状态用以记住“个”，则用状态转换图表示这种情况，在对任意大的来说，有如下无限状态转换图： .......... .......... 显然，上述无限状态的模型是无法用有限状态自动机来表示的，因此需要扩充机器的能力。 一、有关概念 、下推自动机的特点 引例：前面曾用泵浦定理(定理）证明：(){≥}不是正则集。这就表明无法用有限自动机来识别该语言。这是因为： 对于任意的正整数，至少必须有一个状态用以记住“个”，则用状态转换图表示这种情况，在对任意大的来说，有如下无限状态转换图： .......... .......... 显然，上述无限状态的模型是无法用有限状态自动机来表示的，因此需要扩充机器的能力。 下推自动机拥有一个容量不受限制的下推“栈”，所以它可以解决许多实际问题。例如：对于非正则语言(){≥}，由于能够利用栈容量的无界性保存大量的信息，可以动态跟踪保存的个数，从而能够识别这个语言。 一、有关概念 、下推自动机的特点 组成：下推自动机()是由一条输入带、一个有限控制器和一个下推栈组成的。其示意图如下： ...... 输入带 有限控制器 . . 下推栈 栈顶元素 栈底元素 一、有关概念 、下推自动机的特点 注意：下推自动机()在能力上与上下文无关文法等价。只不过上下文无关文法是以产生语言的方式而存在的；而下推自动机是以识别语言的方式而存在的。这个等价性对于后面许多定理的证明来说提供了很多方便。 注意：有些语言用生成器（文法）描述较为容易，而另一些语言又可能用识别器（下推自动机）描述更容易一些。 注意：下推自动机()与有限自动机类似，亦分为确定的下推自动机()和不确定的下推自动机()。 一、有关概念 、不确定的下推自动机 定义：下推自动机是一个七元组：(,Γ,δ)，其中 状态转换图： :有限控制器的状态集合； :有限的输入字母表； Γ:有限的下推栈字母表； :初始状态，∈； :下推栈的起始符号，∈Γ； :终止状态集合，∈； δ:转换函数，是从×(∪{ε})×Γ到×Γ*的映射。 当有转换函数δ(){(,α)} ( ∈∈∈Γ,α∈Γ*)时, 表示在状态输入字符且下推栈的栈顶字符为时，进入状态，下推栈的栈顶字符由字符串α替代，同时读头右移一位。 这个过程的状态转换图如右图所示： , α 约定：①当α时，α的最左位放在栈的最高位；②当αε时，表示栈顶符号被弹出。③当ε时，称为ε转换，这时不考虑输入字符，读头不移动，但状态发生改变，且栈顶元素被α替换。 注意：是栈底元素，在初始化时设定，可作为识别句子过程的结束标志。 一、有关概念 、不确定的下推自动机 格局及其应用： 重要回顾：原始的有限自动机中格局的定义： 定义 设有限自动机(,δ), 对偶或称二元组 ()∈×*称为的格局，并称()为初始格局；对于∈,称(,ε)为终止格局或接受格局。 若当前状态为，当前读入字符为，若有状态转换函数δ() , 则状态变换后的后继状态为，此时可用格局变化形式描述这一变换过程：()├─() 。 一、有关概念 、不确定的下推自动机 格局及其应用： 接受语言的两种方式： 格局是一个三元组：(,α),其中：是当前状态(∈)；是待输入的字符串(∈*,当ε时，表示输入字符均已读完)；α是栈中内容(α∈Γ*,当αε时表示下推栈已弹空)。 格局描述下推自动机的瞬时工作状况： 当转换函数δ(){(,γ)} 时，可用格局表示为： ( , , α) ( , , γα) 用γ字符串替换栈顶，为当前输入字符 终止状态方式接受：当以终止状态接受语言()时，有： 空栈方