自然语言处理（四）——下推自动机接受的语言

一、概念

下推自动机的定义：一个不确定的PDA可以表达成一个7元组： M = (Σ, Q, Γ, δ, q0, Z0, F) 其中，Σ 是输入符号的有穷集合； Q 是状态的有限集合； q0 ∈ Q 是初始状态； Γ 为下推存储器符号的有穷集合； Z0∈Γ 为最初出现在下推存储器顶端的开始符号; F 是终止状态集合，F ⊆ Q； δ 是从 Q×(Σ∪{ε})×Γ 到 Q×Γ* 的子集的映射。

映射关系 δ(q, a, Z) = {(q1, γ1), (q2, γ2), …, (qm, γm)} 其中, q1, q2, …, qm∈Q, a∈Σ, Z∈Γ, γ1, γ2,…,γm∈Γ*。 该映射的意思是：当PDA处于状态 q，面临输入符号 a时，自动机将进入到 qi, i = 1, 2, …, m 状态，并以 γi 来代替下推存储器（栈）顶端符号Z，同时将输入头 指向下一个字符 。当 Z 被 γi 取代时，γi 的符号按照 从左到右的顺序依次从下向上推入到存储器。

特殊情况下，δ(q, ε, Z)={(q1, γ1), (q2, γ2), …, (qm, γm)} 时，输入头位置不移动，只用于处理下推存储器内部 的操作，叫作 “ε移动”。

这些定义我看得快炸了，没理解这是什么意思。下面是一个图，可能比较直观的显示出，下推自动机与有限自动机的区别就是多出一个下推存储器。

以上的定义都是教材的内容，