L的图灵机= {a ^ nb ^ n | n> = 1}

先决条件–图灵机

任务 ：

^{我们必须为n} b ⁿ设计图灵机，其中n> = 1。

分析 ：

我们可以分析出a和b的数目相等，并且按某种顺序相等，即，首先所有a都会来，然后所有b都会来。

例子 ：

Input-1:aabb
Output-1:YES

Input-2:aabbbb
Output-2:NO

Input-3:abab
Output-3:NO

方法 ：

让我们以“ aabb”为例来理解这种方法。

• 从左侧扫描输入。
• 首先，将“ a”替换为“ X”并向右移动。然后跳过所有的a和b并向右移动。
• 当指针到达Blank(B)时，Blank将保持Blank(B)，并且指针向左转。现在，它从右侧扫描输入，并将第一个“ b”替换为“ Y”。我们的图灵机看起来像这样–

• 指针再次到达Blank(B)或X。它现在从左到右扫描输入。指针向前移动并将“ a”替换为“ X”。
• 指针再次到达Blank(B)或Y。它现在从右到左扫描输入。指针向前移动并将“ b”替换为“ y”。
• 我们重复相同的步骤，直到将所有a都转换为“ X”，将b都转换为“ Y”。
• 当所有a都转换为“ X”而所有b都转换为“ Y”时，我们的机器将停止运行。