四种自动机与对应文法有限自动机下推自动机图灵机线性有界自动机-1.pptVIP

下推自动机（Pushdown Automaton） * q a, Z/ω p 表示（p，ω）∈δ（q，a，Z） 上例的图形表示： a, z0/az0 b, a/ε a, a/aa b, a/ε ε, z0/ε q0 q2 q1 用格局表示aabb的识别过程: (q0 ，aabb，z0) ├（q1，abb，az0） ├（q1，bb，aaz0） ├（q2，b，az0） ├（q2，ε，z0） ├（q0，ε，ε） ＃ 终态接受 确定的下推自动机 * 无限制文法 * 无限制文法 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 图灵机 * 上下文有关文法（context-sensitive grammer，CSG） * 上下文有关文法 * 线性界限自动机（Linear bounded automaton） * 各种类型的语言之间的关系 * 各种类型的语言之间的关系 * 各种类型的语言之间的关系 * ThankYou！ * Moore机 * Moore机 * Moore机 * Moore机 * Mealy机 * Mealy机 * Mealy机 * Mealy机 * Moore机和Mealy机的等价性 * 上下文无关文法与下推自动机 * 上下文无关文法(context-free grammer） * 上下文无关文法(context-free grammer） * 上下文无关文法(context-free grammer） * 上下文无关文法(context-free grammer） * 上下文无关文法(context-free grammer） * 推导树（derivation tree） * 推导树（derivation tree） * 推导树（derivation tree） * 推导树与推导的关系 * 最左推导与最右推导 * 上下文无关文法的歧义性 * 上下文无关文法的歧义性 * 上下文无关文法的应用 * 上下文无关文法的应用 * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 下推自动机（Pushdown Automaton） * 例：构造PDA M，接受语言L(M)={ anbn∣n≥1} 思路：把输入的字符a入栈，当开始输入b时，从栈中弹出a， 若a、b个数相同，则到达终态，且栈中空。 解：设PDA M＝（Q，T，Γ，δ，q0，z0，F）， Q＝{q0 ，q1 ，q2} q0 — 初态；接受a — q1状态；接受b — q2状态；输入ε — 回到q0 T＝{a,b}, Γ={ z0, a}, F = { q0} δ定义为： δ(q0，a，z0) = {( q1 ，a z0)} δ(q1，a，a) = {( q1 ，aa)} δ(q1，b，a) = {( q2 ，ε)} δ(q2，ε，z0) = {( q0 ，ε)} δ(q2，b，a) = {( q2 ，ε)} 语言及其表示 * 语言及其表示 * 句型、推导与句子 语言及其表示 * 文法所产生的语言 语言及其表示 * 举例 语言及其表示 * 语言及其表示 * 语言及其表示 * 语言识别器 语言识别器同文法一样，都是对（可能为无限集的）语言提供有限表示的一种方式。语言识别器也称为自动机。 如果说文法是从产生语言的角度来表示语言，那么自动机是从识别语言的角度来表示语言。 自动机的结构可以大致表示成下图的形式。 辅助存储器 a1 a2 an … 有限状态控制器 图 自动机的大致结构 语言及其表示 * 　　即自动机由３部分组成：有限状态器、输入带和辅助存储器。有的自动机可以没有辅助存储器。 输入带可以有限长或无限长，有限状态控制器对输入带可以只允许读，不允许写，也可以读和写。 根据不同的规定，自动机可以分为几种类型。 正规文法与有限自动机 * 正规语言是Chomsky文法体系中最简单的一类语言。产生这种语言的文法是正规文法，识别这类语言的是有限自动机。此外，这类语言也可以