0

假设我处于状态 q5，输入如下：

000[q5]100

我即将阅读 1 并且我的说明正在1->x,L移至 q6

那么磁带会是这个样子吗？

00[q6]0x00?

我不确定从右侧阅读某些内容但必须向左移动时该怎么做，而我使用的教科书对这个过程的描述不是很好。

4

1 回答 1

1

在我见过的所有 TM 定义中，转换函数/关系告诉您应该插入什么而不是刚刚读取的符号（这是读/写头的一项权利）。所以你是对的，

la[p]br

会变成

l[q]acr

如果有从p到q定义的过渡b->c,L。

于 2013-11-06T04:23:46.240 回答