Субязык не узнаваем по Тьюрингу или это может быть?

10

Пусть A и B - языки с A ⊆ B, а B распознаваема по Тьюрингу. Может ли быть не узнаваемым по Тьюрингу? Если да, то есть ли пример?

GFE
источник

Ответы:

18

Это то, что смущает многих студентов. Суть здесь в том, что наличие подмножества другого языка мало что говорит об их сложности вычислений. Вы всегда можете рассмотреть тривиальный язык и Σ ∗, и любой другой язык находится между ними по множеству включений.Σ

Поэтому просто знание того, что язык содержит или содержится в простом для вычисления языке, ничего не говорит о сложности его вычисления.

Кава
источник
Но я не могу найти какой-либо язык подмножеств Σ ∗, который не распознается по Тьюрингу.
GFE
3
@ Вильгельм, возьми любой язык, который не распознается по Тьюрингу, и он будет работать.
Каве
Понятно, поэтому я могу использовать проблему остановки, чтобы доказать, что такой язык существует.
GFE
@ Вильгельм, да. :)
Kaveh
1

XXcXcΣABBA

шлифовальный
источник
ΣΣ
XXΣ
-3

Ваше обсуждение успешно смутило меня :(

"Может ли быть не узнаваемым по Тьюрингу?"

Я чувствую, что А всегда узнаваем по Тьюрингу . Вот мое мышление,

Поскольку B является распознаваемым по Тьюрингу => Существует некоторый TM, который принимает все слова языка B => Существует TM, который принимает (все слова языка A + некоторые другие слова) => Существует TM, который принимает все слова языка A => A распознаваема по Тьюрингу.

Это неправильно? Может ли быть случай, когда A не-TRL, а B - TRL. Пожалуйста, помогите

bongubj
источник
1
Да, это неправильно: акцептор языка не должен принимать никаких слов, кроме слов в языке.
reinierpost
Пожалуйста, не размещайте последующие вопросы в качестве ответов. Используйте комментарии (после того, как вы докажете системе, что вы заслуживаете доверия) или создайте новую публикацию, если новый вопрос значительно отличается (здесь это не так).
Рафаэль
-4

В этом случае А не может быть узнаваемым по Тьюрингу. Возьмите это как пример:

язык B - это объединение языка tr (C) и языка не tr (A). Вы можете создать машину Тьюринга, которая распознает B. A не TR и A ⊆ B.

это правильно? я не знаю, если это так .. =)

Филипп А.
источник
3
CREAREC=AB=AC