PDA 到图灵机的转换

Question

我必须将给定的 PDA 转换为图灵机形式，并且正在努力寻找有关如何执行此操作的任何资源。 如果有人可以解释或指出一些可以解释如何做到这一点的资源，将不胜感激。

Answer 1

正如 Welbog 在评论中建议的那样，只需像堆栈一样使用磁带：

1. 当 PDA 被压入堆栈时：

   • 不理会当前磁带符号
   • 将磁带头向右移动
   • 将符号写入磁带并留在同一 position

2. 当 PDA 从堆栈中弹出时：

   • 用空白替换当前符号
   • 将磁带头向左移动

请注意，这种结构意味着 PDA 中的每个“推送”转换都需要 TM 中的额外中间 state 来处理两步移动后写入操作。 您可以通过不同的方式来构建它，因此您可能可以在 pop 操作上增加额外的步骤。