computer-science - 图灵机实现队列

Question

图灵机如何实现队列？

Answer 1

万一其他学生来寻找这个问题的答案，这里有一个想法......

我们将使用多磁带 TM 只是为了让这尽可能轻松。让您的额外磁带之一成为您要实施的队列。要将某些东西添加到队列中，请向右移动，直到找到一个空白方块，然后将您的符号添加到队列中。要从队列中删除某些内容，请向左移动直到遇到空白（假设此磁带以单个空白方块开头），向右移动，然后删除磁带上的内容并在其位置放置一个空白。因此，从一个空白队列开始，其中 D 为空白，磁带字母表为 abc，以下是以下事务序列的外观：

  enqueue(a) ( 1- 3)
  enqueue(b) ( 4- 5)
  enqueue(c) ( 6- 7)
  dequeue(-) ( 7-11)
  enqueue(c) (12-15)
  dequeue(-) (16-20)
  enqueue(b) (21-24)

这是队列磁带上 TM 的踪迹：

    1. DD          2. DDD         3. DaD         4. DaDD        5. DabD
       ^               ^              ^               ^              ^

    6. DabDD       6. DabcD       7. DabcD       8. DabcD       9. DabcD
          ^              ^             ^             ^             ^

   10. DabcD      11. DDbcD      12. DDbcD      13. DDbcD      14. DDbcDD
        ^              ^               ^               ^               ^

   15. DDbccD     16. DDbccD     17. DDbccD     18. DDbccD     19. DDbccD
           ^             ^             ^             ^               ^

   20. DDDccD     21. DDDccD     22. DDDccD     23. DDDccDD    24. DDDccbD
         ^               ^               ^               ^              ^