图灵机的数量？

Question

你对这个问题有什么想法吗？我不知道它问的是什么。

-状态集为（Q-start，Q2，Q3，Q4，Q5，Q6，Q-accept，Q-reject），输入字母（0,1）和tape的图灵机的数量是多少字母表 (0,1,x,U) 其中 U 是空白符号？ start ， accept 和 reject 状态是具有适当名称的状态。展示你的作品。

Answer 1

我们可以假设单磁带确定性图灵机是预期的模型。还假设所有图灵机从 Q-start 开始，磁带头指向最左边的非空白符号（或任何空白符号，如果磁带完全空白）。

在每个阶段，TM：

1. 从磁带中读取一个符号。
2. 选择下一个要访问的州。
3. 选择要在磁带上写入的内容。
4. 选择是否向左/静止/向右移动头部。

我们有 8 个状态、4 个磁带符号（用于读取/写入）和 3 个移动选项（注意：您的模型可能需要磁带头向左或向右移动；然后使用 2 个代替）。

有 6 种状态我们必须指定行为。假设不允许崩溃（即，所有行为都以某种方式进行解释和处理），那么我们有 6 x 4 x 8 x 4 x 3 = 2,304 个图灵机。如果我们允许崩溃，我们可以将计算更改为 6 x 4 x (1 + 8 x 4 x 3) = 2,328 个图灵机。 +1 允许每个状态和读取磁带符号崩溃或定义响应（状态 x 写入 x 移动）。

我可能错过了其中的一些注意事项，但我认为这个问题是要求进行这种分析。