为L = {a ^ ib ^ j |构造图灵机一世<j, i>0}

先决条件–图灵机

任务 ：
我们必须为i 0的a ^ ib ^ j设计一个图灵机。

分析 ：
这里主要要注意的是i

a^i b^j = a^n b^n + extra number of b.

例子 –

Input: aabbbb
Output: Accepted

Input: aaabb
Output: Not Accepted

方法 ：
让我们通过使用字符串“ aabbb”来理解该方法。

1. 从左侧扫描输入。
2. 首先，将“ a”替换为“ X”，然后向右移动1步。然后跳过所有的a和b并向右移动。
3. 当指针到达Blank(B)时，它将从右侧扫描输入，并将第一个’b’替换为’Y’。

   

4. 指针再次到达Blank(B)。现在，它从左到右扫描输入。指针向前移动并将“ a”替换为“ X”。
5. 指针再次到达Blank(B)。现在，它从右到左扫描输入。指针向前移动并将“ b”替换为“ y”。
6. 我们重复相同的步骤，直到将所有a都转换为“ X”。 b等于a的数量也将转换为“ Y”，剩下的一些b会留给我们。