用确定性图灵机模拟非确定性图灵机[JFLAP]

Question

问题：给定一个开始状态q0和一个完全空白的磁带，除了带有＃符号的一个正方形外，找到＃并停止它。

非确定性：

本机选择在开始状态的左侧或右侧搜索，并继续沿该方向前进，直到下一个符号为＃符号，并保持该位置。

确定性地：？

如何以确定的形式复制本机？我做了一些研究，似乎可以通过解决＆＃34;树＆＃34;的两种可能性/分支来解决这个问题，但我似乎无法在这里连接点...... / p>

Answer 1

您不仅要遍历非＃单元格，还要将其标记为已访问。此外，你通过它们之间的交替同时做两个分支。

1. 用＆＃34; +＆＃34;标记当前单元格（除非是＃已经）
2. 当你看到+时向右跑。当您看到第一个空白时，请将其标记为+。
3. 看到+时向左跑。当您看到第一个空白时，请将其标记为+。转到2.

通过这种方式，您可以以确定的方式处理任何固定数量的非确定性分支。当然，跑步比实际模拟需要更多的时间。