构建图灵机图

Question

我一直在尝试制作识别语言的图灵机图：

{(ab)^n(ba)^n | n >0}

如何为上述语言构建图灵机图？

Answer 1

1. 通过识别 b 的两个连续实例找到 substring bb
2. 通过用磁带符号 X 替换这些来划掉这些
3. 在 X 的实例部分反弹，以交替的方式划掉匹配的符号（首先划掉 a 的匹配实例，然后是 b，然后是 a 等）
4. 如果在划掉 a 的匹配实例后磁带为空，则停止接受
5. 如果您提前用完符号或在删除 b 的实例后磁带为空，则停止拒绝

我将定义状态作为练习，但如果您需要帮助，我可以稍后重新访问此答案。 作为提示 - 您将需要一个或几个状态来处理上述每个步骤。