{<M> | M 是接受 3 个词的 TM } (|L(M)|=3)答案

【问题标题】：{<M> | M is TM that accept 3 words } (|L(M)|=3){<M> | M 是接受 3 个词的 TM } (|L(M)|=3)
【发布时间】：2016-10-18 02:38:28
【问题描述】：

我被这个问题困住了

{ | M 是接受 3 个单词的 TM}

我知道如何解决|L(M)|&gt;3 或|L(M)|&lt;3，但是当涉及到|L(M)|=3 时，我不知道如何进行！

【问题讨论】：

【解决方案1】：

使用 |L(M)|=3 意味着 |L(M)|>2 AND |L(M)|3 你可以决定|L(M)|>2。这些将使用你说你知道怎么做的事情。

当然，如果允许你使用威廉提到的赖斯定理，那么答案是非常直接的。

【讨论】：

【解决方案2】：

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

【讨论】：