设计图灵机

Question

我需要帮助设计一台计算以下f(x) = x mod 3的图灵机。我只是需要帮助才能开始，因为我不熟悉如何解决这个问题

Answer 1

评论摘录：

输入和输入是一串1的一元。空间为0。输出应该重写输入。

输入为{x，3}，每个参数之间有一个空格或{x}。

输出为{x mod 3}。

算法：

• 转到输入的末尾。
• 删除第二个参数。
• 虽然参数中至少有三个符号，但请将其删除。

状态机：

• 开始：如果输入为0，则向右移动并转到“删除权限”，否则向右移动。
• 正确删除：如果输入为0，则向左移动并转到“查找arg”。否则写0并向右移动。
• 查找arg：如果输入为0，则向左移动。如果输入是“磁带开始”，请完成。否则向左移动并进入“找到1”状态。
• 找到1：如果输入是“磁带开始”，则完成。否则向左移动并进入“找到2”状态
• 找到2：如果输入是“磁带开始”，则完成。否则，请转到“删除权利”状态。