下推式自动机（PDA）

Question

我试图写一个接受^ 2n b ^ n，n> 0的pda下推自动机 但我不确定最后一部分是否正确

(p0, a, z0) = (p0, az0)
(p0, a, a) = (p0, aa)
(p0, b, a) = (p1, λ)
(p1, λ, b) = (p2, λ)   <=
(p2, 0, b) = (p1, λ)  <=
(p2, λ, z0) = (p3, λ)  <=

Answer 1

就你的答案而言，在你的前两个步骤中，你只需要一步即可。根据当前的设计，机器将接受不是a ^ 2nb ^ n形式的aaabb。所以最好将它分成两个状态。根据我的说法，正确的答案可能是：

1. （p0，a，z0）=（p0，az0）
2. （p0，a，a）=（p1，aa）
3. （p1，a，a）=（p0，aa）
4. （p1，b，a）=（p2，λ）

Answer 2

q0是初始状态，而qf是最终状态； ^代表空：

Q(q0,a,z)=Q(q1,z)
Q(q0,a,a)=Q(q1,aa)
Q(q0,b,a)=Q(q0,^)
Q(q0,^,z)=Q(qf,z)
Q(q1,a,z)=Q(q2,az)
Q(q1,a,a)=Q(q2,a,a)
Q(q2,a,a)=Q(q0,az)

Answer 3

对于^ 2nb ^ n n> = 0的确定性下推自动机 绕过改变，并推动其余的