构造将接受语言L = {0i0j0k / i< j< ķ}

时间:2017-08-22 14:06:24

标签: state-machine turing

如何构建将接受语言L = {0i0j0k / i< j< ķ}。

1 个答案:

答案 0 :(得分:0)

我认为这意味着语言0^i 0^j 0^k | i < j < k。至少,我没有看到任何其他明显的解释。

此语言中的最短字符串是通过i = 0j = 1k = 2&#39;获得的;这会产生语言中的字符串000

另请注意,所有超过三个零的字符串也都在该语言中,因为我们可以使用i = 0j = 1k = n - 1(对于n >= 3)。

因此,我们的语言等于0^n | n >= 3。这种语言是常规的。此语言的最小DFA如下:

Q    s    Q'
q0   0    q1
q1   0    q2
q2   0    q3
q3   0    q3

此处,q3是唯一接受状态,q0是初始状态。这假设输入字母表仅包含0;如果它不止于此,你将需要一个死亡状态和额外的制作。

从DFA转换为TM留作练习。