下推自动机可以没有最终状态吗？

Question

根据这个问题，下推自动机可以没有最终状态吗？

Answer 1

是的！ PDA有许多不同的定义，但通常定义说PDA有一组接受状态，它们必须是PDA中所有状态集的子集。空集是有效集，因此PDA不一定必须接受。这就是为空语言构建PDA的可能性，例如，已知它是无上下文的。

希望这有帮助！

Answer 2

某些形式的下推自动机通过在输入结束时使用空堆栈暂停来接受。对于这种形式，没有最终状态。