构建图灵机图

Question

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

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

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

Answer 1

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

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