Чи кожна пізнавана Тьюрінгом невідмінна мова має підмножину NP?

Чи кожна пізнавана Тьюрінгом невідмінна мова має підмножину NP?

Це питання можна розглядати як більш сильну версію того факту, що кожна нескінченна впізнавана Тюрінгом мова має нескінченно визначальний підмножина.

Ні.

Нерозпізнавані мови Тьюрінга можуть бути одинаковими (визначте$x \not\in L$ хіба що $x = 0000\ldots 0$, тому єдині складні рядки складаються виключно з 0). Теорема Мейні говорить, що жодна одинарна мова не може бути повною NP, якщо тільки P = NP.