構建圖靈機圖

Question

我一直在嘗試制作識別語言的圖靈機圖：

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

如何為上述語言構建圖靈機圖？

Answer 1

1. 通過識別 b 的兩個連續實例找到 substring bb
2. 通過用磁帶符號 X 替換這些來划掉這些
3. 在 X 的實例部分反彈，以交替的方式划掉匹配的符號（首先划掉 a 的匹配實例，然后是 b，然后是 a 等）
4. 如果在划掉 a 的匹配實例后磁帶為空，則停止接受
5. 如果您提前用完符號或在刪除 b 的實例后磁帶為空，則停止拒絕

我將定義狀態作為練習，但如果您需要幫助，我可以稍后重新訪問此答案。 作為提示 - 您將需要一個或幾個狀態來處理上述每個步驟。