pushdown-automaton - 在下推自动机堆栈中与所有其他状态共享？

Question

我想知道下推自动机堆栈是否与所有其他状态共享？

Answer 1

根据下推自动机的定义，状态与堆栈一起工作；封装或隔离的概念不是定义的一部分。

自然地，由于 PDA 和其他自动机是由我们人类构建的，您可能会定义一个自动机，其中每个状态都有一个堆栈。我怀疑这会很有趣。