构建图灵机，用于语言 L = {0n1n2n | n≥1}

这里我们将看到如何为语言 L = {0n1n2n | n ≥ n} 构建图灵机。因此，它表示一种语言，其中我们只使用三个字符 0、1 和 2。w 是一个字符串。因此，如果 w = 000111222，图灵机将接受它。

为了解决这个问题，我们将使用这种方法。首先用 x 替换前面的一个 0，然后一直向右移动，直到得到一个 1，然后用 y 替换这个 1。再次一直向右移动，直到得到一个 2，用 z 来替换它，然后向左移动。现在一直向左移动，直到找到一个 x。当找到它时，向右移动，然后按照上面相同的过程进行操作。

当我们发现 x 后面紧跟着一个 y 时，就会出现一种情况。此时，我们一直向右移动，并不断检查所有 1 和 2 是否都已转换为 y 和 z。如果没有，则字符串不被接受。如果我们到达 $，则字符串被接受。