Queue Automata可以模拟任何下推自动机吗？

Question

我正在进行一项理论任务，这个问题确实让我思考。问题是：显示任何下推自动机都可以由队列自动机模拟。现在，我最初认为这很简单，但后来我想到L = {WW ^ R | W = {a，b} *}（W ^ R与W相反）这在下推自动机的一般形式下很容易创建，但我想不出任何方式可以用一般形式队列自动机。我不认为我们可以为此设计一个（有限的）一般情况。我可能也在考虑它，因为我可能会误解模拟的含义。无论如何，我比问题更可能是错的，但是对于我提到的案例它是如何工作的？

感谢您提供的任何帮助！

Answer 1

有一个诀窍很简单：

1）显示队列can simulate a full Turing Machine。简而言之，将图灵磁带放在队列中，用磁带末端和读头的特殊标记包裹起来。 （如果从那里不清楚，请查看维基链接或发表评论）

2）请注意，图灵机比PDA强大，因此它必须能够模拟PDA。