{<m> | M是接受3个字的TM}（| L（M）| = 3）

Question

我遇到了这个问题

  

{＆LT; M＆GT; | M是TM，接受3个单词}

我知道如何解决|L(M)|>3或|L(M)|<3但是当谈到|L(M)|=3时，我不知道该如何处理！

Answer 1

使用| L（M）| = 3意味着| L（M）|> 2 AND | L（M）|＆lt; 4。或者，| L（M）| = 3且| L（M）|> 3的事实可以决定| L（M）|> 2。这些woudl使用你说你知道怎么做的事情。

当然，如果你被允许使用威廉所提到的莱斯定理，那么答案就是立竿见影的。

Answer 2

根据莱斯定理，根据车床的非单调性。 我们来看一个案例： 我们可以说（车床接受的语言）T{yes}={0,10,11} 和（车床不接受的语言）T{no}={0,10,11,1} 所以这里 Tyes 是 Tno 的真子集。因此这个问题是不可判定的。