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

Для языка LLL определите множество длин как множество длин слов в : L L S ( L ) = { | ты | | U ∈ L }LLLLLLL S (L)={ | ты | |U∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Какие наборы целых чисел могут быть набором длины обычного …

15 formal-languages  computability  regular-languages  finite-automata 

Такие языки, как являются сокращением много-один. Нетрудно видеть, что имеет полные проблемы. С. Шмитц [1] рассматривает некоторые классы между и . Они представляют полные проблемы для этих классов при специально созданных сокращениях.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Существуют ли полные проблемы для (aka ) относительно более слабых сокращений? Сокращения Тьюринга неуместны, потому что они способны …

14 computability  reductions  turing-completeness  recursion-theory 

Я хочу знать, разрешима ли следующая проблема: Экземпляр: NFA A с n государствами Вопрос: существует ли некоторое простое число p такое, что A принимает некоторую строку длины p. Я считаю, что эта проблема неразрешима, но я не могу доказать это. Решающий орган может легко иметь алгоритм для определения, является ли …

14 computability  finite-automata 

Если действительно равен , как это улучшит наши алгоритмы, чтобы быстрее вычислять целые числа? Другими словами, какое понимание даст нам этот факт для лучшего понимания целочисленной факторизации?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

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

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

14 computability 

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

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

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

13 computability  undecidability  decision-problem 

По поводу предложения Рафаэля о пересечении двух NPDA : Пусть и A 2 NPDA для контекстно-свободных языков L 1 и L 2 соответственно. Предполагая, что мы знаем, что L = L 1 ∩ L 2 не зависит от контекста, можем ли мы (эффективно) построить NPDA A для L ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L = …

13 computability  automata  pushdown-automata 

Функция максимального сдвига занятого бобра имеет известные значения для n ≤ 4 . Есть ли какая-то основная, структурная причина, по которой немыслимо, что мы когда-нибудь найдем S ( n ) для n > 4 ? Что такого отличного в n = 4 от n = 5 ? Или n = …

13 computability  busy-beaver 

Я в некотором роде новичок, но очень интересуюсь областью вычислений и теории сложности, и я хочу разъяснить свое понимание того, как классифицировать проблемы и насколько сильно проблемы связаны с машиной, используемой для их решения. Мое понимание Стандартная машина Тьюринга - машина Тьюринга, которая имеет конечный алфавит, конечное число состояний и …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Я читал о числах занятых бобров и о том, как они асимптотически растут больше, чем любая вычислимая функция. Почему это так? Это из-за невычислимости функции занятого бобра? Если так, то все ли невычислимые функции растут асимптотически больше, чем вычислимые? Редактировать: Хорошие ответы ниже, но я хотел бы объяснить на простом …

13 computability  asymptotics 

Проблема почтовой корреспонденции (PCP) неразрешима. Ограниченная версия PCP является -полной и отмеченная версией PCP (слова одного из двух списков, должны отличаться по первой букве) в P S P A C E [1].Н ПNп\mathrm{NP}P S P A C EпSпAСЕ\mathrm{PSPACE} Используются ли эти ограниченные версии, чтобы доказать некоторые сложности результатов других проблем …

13 complexity-theory  computability  reference-request 

Если у нас есть какая-либо произвольная компьютерная программа, которая может изменить ее инструкции, возможно ли смоделировать эту программу с помощью программы, которая не может изменить ее инструкции? Редактировать: Я новичок в stackexchange, поэтому не уверен, что мне разрешено задавать НОВЫЙ вопрос здесь, но здесь идет речь: Хорошо, поэтому доказательство того, …

12 computability  computation-models  turing-completeness  church-turing-thesis