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

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

17 algorithms  computability  graph-theory  undecidability 

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

16 computability  undecidability  pushdown-automata 

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

16 computability  turing-machines  undecidability  computation-models 

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

15 computability  automata  undecidability 

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

14 regular-languages  undecidability 

Интересно, почему следующий язык находится в ?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\} (Я знаю, что это в так …

14 computability  undecidability 

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

14 computability  turing-machines  undecidability 

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

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Мне интересно, если решение разрешимости проблемы является разрешимой проблемой. Я не думаю, но после начальных поисков я не могу найти литературу по этой проблеме.

13 computability  undecidability  decision-problem 

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

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

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

12 formal-grammars  turing-machines  undecidability  context-sensitive 

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

12 formal-languages  undecidability  closure-properties 

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

12 turing-machines  undecidability  halting-problem 

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

11 computability  turing-machines  undecidability  physics 

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

11 computability  reductions  undecidability