DPDA到图灵机？

Question

有没有办法将确定性下推自动机转换为图灵机？ 我考虑过在磁带上输入后放入堆栈，它们之间带有“＃”。 但似乎没有必要正式证明它。

你有什么建议吗？ 有人这样做了吗？

谢谢

Answer 1

按下自动机仅在一个方向上起作用。那是它无法回溯其步骤或保持计数 例如，如果您想要一种正式语言：

L = {1^n+0^m | n>m, m>0}  

这里没有。 1的大于号。零 DPDA 和图灵机都可解决此问题。

但是，如果我们添加另一个条件，例如：

L = {1^n.0^m.1^n | n>m, m>0}

假设您知道如何解决图灵机中的上述问题，您会理解在没有回溯输入磁带的情况下无法解决问题。
因此，没有办法让PDA像图灵机一样强大 以下是Wiki的链接，以便您更加了解：https://en.wikipedia.org/wiki/Chomsky_hierarchy