没有 DPDA的运动能力是否与带有它们的DPDA一样强大？

在确定性下推自动机的正式描述中，它们允许移动，机器可以将符号弹出或推入堆栈而无需从输入中读取符号。如果不允许这些移动，并且每次读取符号后堆栈只能修改一次，那么自动机的结果是否等于DPDA的电源？ $\epsilon$ $\epsilon$

关于使用的幂集作为新的，我可能缺少一些琐碎的东西，允许您将移动“压缩” 到等效的自动机中，而无需使用它们，类似于如何在中压缩移动。 DFA。似乎这种转换不像DFA那样微不足道，而且我不确定是否有可能。 $\Gamma$ $\Gamma$ $\epsilon$ $\epsilon$

那么两者的权力相等吗？我之所以这么问，是因为每个人似乎都假设DPDA具有运动，并且我想知道为什么存在这种假设，因为它看起来像是一个更复杂的模型。 $\epsilon$

automata-theory context-free

— 菲利达
source

好的。那么，有没有原因，我们只研究那些与

随后的动作？

ϵ

$\epsilon$

— 菲利达2015年

所以我才意识到您实际上可以识别出

。您只需以接受状态开始，然后在读取第一个

，将＆压入堆栈，在读取第二个

，将＃压入堆栈。在这之后，你写

堆栈每隔

你阅读，首先是

你按下＃堆栈后读取。

L = {a^{2 n} b^{n}}

$L=\{a^{2n}b^n\}$

a

$a$

a

$a$

a

$a$

a

$a$

a

$a$

— Phylliida

然后，如果你读了

，而知道你读了奇数的

就是你拒绝（在停滞状态SIT），否则你进入另一种状态，推动了

堆栈。每次读取

都要重复一次。如果最终在解析

，＃在堆栈的顶部而不是

，则进入接受状态。如果读取更多符号，则进入拒绝状态。在与上述情况不同的任何情况下，请进入拒绝状态。那样有用吗？

b

$b$

a

$a$

a

$a$

b

$b$

b

$b$

a

$a$

— Phylliida

听起来不错。

— 克劳斯·德拉格

如果我错了，请纠正我，但我同意。我也相信您可以通过始终在输入磁带上右移（永不停止）的DPDA 识别

。唯一棘手的部分是使它在最终状态下完成。对于DPDA的接受可能很棘手。

{a^{2 n} b^{n}}

$\{ a^{2n}b^{n} \}$

— Michael Wehar 2015年

也许我在以下地方找到了一些相关信息：

Jean-Michel Autebert，Jean Berstel，Luc Boasson；上下文无关语言和下推自动机；形式语言手册；1997年，第111-174页

没有转换的DPDA 被称为实时确定性下推自动机。 $\epsilon$

例如，它们不如DPDA强大

$L = \{ a^n b^p c a^n \mid p,n > 0\} \cup \{ a^nb^pdb^p\mid p,n > 0 \}$

是确定性的，可以被DPDA识别，但是不能被任何实时 DPDA 识别。

你可以做的是消除增加 -transitions： $\epsilon$

Proposition 5.4: For any DPDA it is possible to construct a DPDA recognizing the same language such that any $\epsilon$ -rule is decreasing.

— 马齐奥·德·比亚西（Marzio De Biasi）
source

很好，谢谢！因此，这回答了我问题的第一部分。第二部分是-我们为什么不研究这些？每个人似乎都专注于非实时的，这对我来说似乎很奇怪。

— 菲利达2015年

@DanielleEnsign：到处搜索可以找到有关RDPDA的一些结果，例如，等效问题是可判定的。但是我同意你的看法，他们并没有引起太多关注。

— Marzio De Biasi 2015年