下推自动机堆栈状态?

时间:2017-03-20 04:20:00

标签: automata pushdown-automaton

我正在学习一门课程的下推自动机,我已经达到了一个概念性的方法。

堆栈基本上只有一个符号的无限内存或空间吗?

如果我有以下字符串:

  

ABBA   以下规则以q6作为我的接受状态:

(Q0,A,Z)=(Q1,一)
(Q1,B,A)=(Q2,B)
(q2,b,b)=(q3,b)
(q3,a,b)=(q4,a)
(Q4,λ,α)=(Q5,拉姆达)
(Q5,λ,α)=(Q5,拉姆达)
(Q5,λ,B)=(Q5,拉姆达)
(Q5,λ,Z)=(Q6,拉姆达)

在状态中我的堆栈看起来像这样:
q0:Z
q1:aZ
q2:baZ
q3:bbaZ
q4:abbaZ
q5:Z因为最终所有东西都弹出了 q6:Z

这是堆栈的正确转换吗?基本上每一次推动它都会无限增长?或者每次推送都应该与当前顶级交换?

例如州政府希望:
q0:Z
q1:aZ
q2:bZ
q3:bZ
q4:aZ
q5:Z
q6:Z

0 个答案:

没有答案