Computer science 具有无用状态的图灵机所接受的语言？

图灵机接受的是哪种语言，它的状态不是输入I时输入的

具体来说,

如果接受状态是它从未进入的状态，那么L={empty}是否应该

如果拒绝状态是它从未进入的状态，那么L={everything}是否应该

如果TM有多个接受/拒绝状态怎么办

如果它从未进入的状态既不是拒绝状态，也不是接受状态，该怎么办？这对我有什么影响

我四处搜索，发现了一些线索，它们有助于证明这个问题是不可判定的，但它是图灵可识别的吗？共图灵可识别？两者都有

如果给定从未为任何输入I输入halt accept状态，则可以安全地断言LM是空集。注：无论情况是否如此，一般都无法确定和识别；然而，它是可共同识别的，因为您可以识别TM是否接受了某些内容

如果给定从未为任何输入I输入halt reject状态，那么我们不能断言LM是所有字符串的集合。TM可能无法在输入时停止—从不输入halt reject或halt accept—在这种情况下，字符串不在LM中。注：对于某些输入，TM是否从未进入停止拒绝状态通常是不可识别的；然而，它是可识别的，因为你可以识别TM是否拒绝了某些东西

如果TM有多个接受/拒绝状态，那么我们可能意味着已知其中只有一个从未输入，或者从未输入。第二种可能性与我们在上文第1点和第2点中考虑的情况无法区分。另一方面，这些可能性中的第一种与接受/拒绝状态较少的TM无法区分，从未访问过的TM将被删除。因为，一般来说，LM可以是任何东西，这意味着在这种情况下，我们不能对LM说任何东西。注：一般来说，具有多个接受/拒绝状态的TM是否从未在某些输入上访问其中一个状态是不可识别和不可识别的；但是，它是可共同识别的，因为您可以通过访问一个或任何接受/拒绝状态来识别TM是否接受/拒绝某个内容

如果我从未为任何输入输入过的状态既不接受也不拒绝，那么我们就不必说机器的语言。这是因为这样的TM相当于移除该状态的TM；一般来说，这样的TM可以有任何语言

现在，这些问题可能是针对特定输入I的。在这种情况下：

这仅仅意味着我不在LM。决定M是否接受I是不可确定的，也不可识别的，但它是可共同识别的，因为你可以识别我是否被接受

这与我是否在LM中无关。决定M是否明确拒绝I是不可确定的，也不可识别的，但它是可共同识别的，因为如果我被明确拒绝，你可以识别

如果TM从未在输入I上进入任何接受/拒绝状态，请参见上述答案。如果TM从未在输入I上仅进入一个接受/拒绝状态，则我们无法说明I是否处于LM状态。一般来说，我没有导致M进入任何或任何给定的接受/拒绝状态都是不可确定和不可识别的，但它是可共同识别的，因为如果我确实导致TM进入这种状态，您可以识别

这对L没有影响，因为这样的TM相当于移除了未访问状态的较小TM，通常TM可以接受或拒绝任何字符串

---

这可能是更好的地址的网站。