Вопросы с тегом «undecidability»

Вопросы о проблемах, которые не могут быть решены ни одной машиной Тьюринга.

4
Эта проблема конечного графа разрешима? Какие факторы делают проблему разрешимой?
Я хочу знать, разрешима ли следующая проблема и как узнать. В каждой проблеме, которую я вижу, я могу сказать «да» или «нет», так что большинство проблем и алгоритмов разрешимы, кроме нескольких (которые представлены здесь )? Входные данные: направленный и конечный граф с вершинами и Вопрос: Существует ли путь в с …

1
Можно ли решить, распознает ли автомат нажатия заданный регулярный язык?
Проблема, распознают ли два нажимных автомата один и тот же язык, неразрешима. Проблема того, распознает ли автомат с нажатием кнопки пустой язык, разрешима, следовательно, также решаемо, распознает ли он данный конечный язык. Неразрешимо, является ли язык, принятый автоматом нажатия, регулярным. Но ... ... разрешимо, распознает ли автомат нажатия заданный регулярный …

1
Является ли неразрешимость проблемы N-тела эквивалентной проблеме останова
Не существует общего аналитического решения задачи о n-теле, которое может дать аналитическую функцию, которую можно использовать для определения состояния системы из n-тела в произвольный момент времени t с точной точностью. Однако существуют некоторые частные случаи систем с n телами, для которых известна аналитическая функция. Во многом таким же образом не …

5
Существуют ли неразрешимые свойства автоматов, не полных по Тьюрингу?
Существуют ли неразрешимые свойства линейных ограниченных автоматов (избегая трюка с пустым языком множеств)? Как насчет детерминированного конечного автомата? (отложить в сторону неразрешимость). Я хотел бы получить пример (если возможно) неразрешимой проблемы, которая определена без явного использования машин Тьюринга . Нужна ли полнота по Тьюрингу модели для поддержки неисчислимых задач?

1
Можно ли решить, является ли язык, описываемый числом случаев, регулярным?
Известно, что язык слов, содержащих одинаковые числа 0 и 1, не является регулярным, а язык слов, содержащих одинаковые числа 001 и 100, является регулярным ( см. Здесь ). Учитывая два слова , разрешимо ли, если язык слов, содержащий равное количество и является регулярным?w1,w2w1,w2w_1,w_2w1w1w_1w2w2w_2

1
Для машины Тьюринга , как можно определить множество машин которые «короче», чем и которые принимают тот же язык?
Интересно, почему следующий язык находится в ?RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} (Я знаю, что это в так …

2
Можно ли решить, достигнет ли ТМ какой-либо позиции на ленте?
У меня есть эти вопросы из старого экзамена, который я пытаюсь решить. Для каждой задачи, вход является кодирование некоторой машины Тьюринга MMM . Для целого числа c>1c>1c>1 и следующих трех задач: Правда ли, что для каждого входа xxx M не передает |x|+c|x|+c|x|+c позиции при работе на xxx ? Верно ли, …

3
неразрешимая проблема и ее отрицание неразрешима
Тем не менее, многие «знаменитые» неразрешимые проблемы, по крайней мере, полуразрешимы, а их дополнение неразрешимо. Одним из примеров, прежде всего, может быть проблема остановки и ее дополнение. Тем не менее, кто-нибудь может привести пример, в котором проблема и ее дополнение неразрешимы и не полурегулируемы? Я думал о языке диагонализации Ld, …


3
Почему проблема остановки решаема для LBA?
Я читал в Википедии и некоторых других текстах, которые Проблема остановки [...] разрешима для линейных ограниченных автоматов (LBA) [и] детерминированных машин с конечной памятью. Но ранее было написано, что проблема остановки - неразрешимая проблема, и поэтому TM не может ее решить! Так как LBA определены как тип TM, разве это …

2
Все ли контекстно-зависимые языки разрешимы?
Я просматривал определение контекстно-зависимого языка в Википедии и обнаружил следующее: Каждая категория языков является надлежащим подмножеством категории прямо над ней. Любой автомат и любая грамматика в каждой категории имеют эквивалентный автомат или грамматику в категории непосредственно над ней. Я мог видеть, что линейно ограниченный автомат находится прямо под решающим элементом …

4
Операции, при которых класс неразрешимых языков не закрыт
Существуют ли неразрешимые языки, так что их язык объединения / пересечения / сцепления является разрешимым? Какова физическая интерпретация такого примера, потому что в целом неразрешимые языки не закрыты под этими операциями? Что мы можем сказать о закрытии клини? У нас тоже есть примеры для этого? Т.е. может ли быть решено …

1
Синтез программ, разрешимость и проблема остановки
Я читал ответ на недавний вопрос, и мне в голову пришла странная эфемерная мысль. Мои просьбы об этом могут предать либо то, что мои теоретические отбросы серьезно отсутствуют (в основном это правда), либо что мне еще слишком рано читать этот сайт. Теперь с отказом от ответственности ... Это хорошо известный …

6
Неразрешимые проблемы ограничивают физические теории
Означает ли существование неразрешимых проблем непосредственную непредсказуемость физических систем? Давайте рассмотрим проблему остановки, сначала мы построим физический UTM, скажем, используя обычную конструкцию на основе схем. Тогда не может быть никакой разрешимой физической теории, которая могла бы определить, при любой входной настройке цепей, остановится ли цепь. Это кажется тривиальностью, но разве …

1
Сокращение среди неразрешимых проблем
Извините, если у этого вопроса есть какой-то тривиальный ответ, который я пропускаю. Всякий раз, когда я изучаю какую-то проблему, которая оказалась неразрешимой, я замечаю, что доказательство основывается на сведении к другой проблеме, которая оказалась неразрешимой. Я понимаю, что это создает какой-то порядок по степени сложности проблемы. Но мой вопрос - …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.