是否有明显下推自动机的变体，可以将单词压入堆栈？

我想知道，是否有任何有关可见下推自动机的论文或研究，但允许将单词而不是单个字母推到堆栈上。

替代地，允许符号在过渡上被推动的构造可以实现相同的目标。 $\epsilon$

显然，可以形成这种变化，但是我想知道是否会破坏使VPA变得有趣的闭合性和可判定性。

我正在寻找一种使用堆栈作为计数器的构造，该构造将根据读取的初始符号将其递增常量，然后根据读取的其他符号进行递减计数。

对于任何不知道的人，显然下推自动机是指可以将字母分为推入符号，弹出符号和完全不影响堆栈的符号的自动下注自动机。推还是弹出的选择完全取决于正在读取的当前符号。它们在交点，并集，串联，星号和补码下关闭，从而赋予它们丰富的可确定属性。有关更多信息，请参见本文。

reference-request fl.formal-languages automata-theory context-free context-free-languages

— m
source

似乎显而易见的问题是，这种自动机是否等效于将“单词”转换为状态序列的标准下推自动机？afaik，是吗？如果不是，则说明失败的情况的示例将是有帮助的。

— vzn13年

@vzn它们不能等效。那些看似PDA似乎严格较弱。上次检查时，CFL没有在交叉路口关闭。

— 2013年

因此，VPDA在相交处是封闭的，并且已知在

和

之间是适当的。但是，我不知道我的变体是否在交叉点下闭合，所以它可能是等效的。我怀疑是这样，但是我不确定。

R E G

$REG$

D C F L

$DCFL$

— jmite 2013年

本文dx.doi.org/10.1145/1516512.1516518给出了VPDA的语法特征，以及在语法和VPDA之间进行转换的结构。语法可以用来模拟推入整个单词吗？

— Evgenij Thorstensen

为什么在符号上推一个字等同于允许在eps转换上推？

— domotorp

与epsilon推

对于带有epsilon转换的版本，下推自动机的通用性的不确定性证明可以适应此新设置，因此我们至少失去以下属性：互补下的闭合，可确定性，通用性和包含性的可确定性。

证明方案：以图灵机为例，我们要构建带有ε-推动力的VPA ，使得当且仅当M没有接受运行时，它才是通用的。 $M$ $A$

我们设计这样的一个词是不接受的，当且仅是形式： $A$

哪里

# C_{0} & C_{0} $ (\bar{C_{0}})^{R} # C_{1} & C_{1} $ (\bar{C_{1}})^{R} # C_{2} & C_{2} $ (\bar{C_{2}})^{R} \dots # C_{n} & C_{n} $ (\bar{C_{n}})^{R}

$\#C_0\&C_0\$(\overline{C_0})^R\#C_1\&C_1\$(\overline{C_1})^R\#C_2\&C_2\$(\overline{C_2})^R\dots\#C_n\&C_n\$(\overline{C_n})^R$

$A$ $C_i^R$ $A$ $C_i$ $C_i$ $(\overline{C_i})^R$ $C_i\to C_{i+1}$ $C_i$ $C_{i+1}$ $(\overline{C_{i+1}})^R$ $C_j$ $(\overline{C_j})^R$

推词

$(S,R,u)$ $u\in A^*$ $a$ $(S,R,va)$ $(S',R',v)$ $S'$ $R'$

— 丹尼斯
source