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

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

92 computability  decidability 

Если ограничить машины Тьюринга конечной лентой (т. Е. Использовать ограниченное пространство ), то проблема остановки решаема, в основном потому, что после ряда шагов (которые можно рассчитать из числа состояний Q , S и размер алфавита), конфигурация должна быть повторена.SSSQQQSSS Существуют ли другие естественные ограничения машины Тьюринга, которые делают остановку разрешимой? …

33 turing-machines  decidability 

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

24 reference-request  co.combinatorics  decidability  undecidability 

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

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Меня интересует следующая задача: заданы целочисленные матрицы A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k решают, равно ли каждое бесконечное произведение этих матриц нулевой матрице. Это означает именно то, что вы думаете, что он делает: мы будем говорить, что множество матриц обладает тем свойством, что все его произведения в конечном итоге равны нулю, если не …

19 linear-algebra  decidability 

Это известный результат, что вопрос Генерирует ли контекстно-свободная грамматика обычный язык? неразрешима. Однако он становится разрешимым в унарном алфавите просто потому, что в этом случае классы контекстно-свободных и регулярных языков совпадают. Мой вопрос состоит в том, чтобы знать, что происходит с унарными контекстно-зависимыми языками. Можно ли определить, порождает ли данная …

18 fl.formal-languages  decidability 

Я пытаюсь решить конкретную проблему, и я подумал, что смогу решить ее, используя теорию автоматов. Мне интересно, какие модели автоматов имеют разрешимость за полиномиальное время? то есть если у вас есть машины вы можете проверить, эффективно ли . L ( M 1 ) ⊆ L ( M 2 )M1, M2M1,M2M_1, …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Я знаю, что невозможно определить эквивалентность для нетипизированного лямбда-исчисления. Цитирование Барендрегта, Л. П. Лямбда-исчисление: его синтаксис и семантика. Северная Голландия, Амстердам (1984). :ββ\beta Если A и B являются непересекающимися непустыми множествами лямбда-членов, замкнутых относительно равенства, то A и B рекурсивно неразделимы. Отсюда следует, что если A - нетривиальное множество лямбда-термов, …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Какова простейшая вычислительная модель, для которой проблема пустоты неразрешима? Проблема пустотности для вычислительной модели (например, автомат конечного состояния, автомат с переменным нажатием, квантовый автомат с ограниченной ошибкой со счетчиком, детерминированный LBA и т. Д.) Состоит в том, чтобы определить, является ли для данной такой машины язык, распознаваемый / определяемый этой …

12 computability  decidability  undecidability  unary-languages 

Каковы известные пределы разрешимости сравнения скорости роста функций из ? Я здесь думаю о разрешимости таких вопросов, как «Является ли x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?» или «Является ли 2 lg ∗ x ∈ O ( lg lg x ) ?».N→NN→N\mathbb{N} \to …

12 decidability  asymptotics 

Система векторного сложения (VAS) - это конечный набор действий . - это набор разметок . В рабочем цикле является непустое слово маркировки й . Если такое слово существует , мы говорим , что является достижимым из .A ⊂ Z d A⊂ZdA \subset \mathbb{Z}^dN dNd\mathbb{N}^dm 0 m 1 … m nm0m1…mnm_0 …

11 fl.formal-languages  decidability 

Ответ: неизвестно Большое спасибо всем, кто помог уточнить этот вопрос и определения, связанные с ним. Определения этой вики послужили отправной точкой для более новой вики TCS: « Содержит ли P языки, существование которых не зависит от PA или ZFC? (Вики сообщества TCS) ». Более поздняя вики предпочтительна, потому что ее …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Теорема Робертсона – Сеймура говорит, что любая минор-замкнутая семьяGG\mathcal G графов можно охарактеризовать конечным числом запрещенных миноров. Есть ли алгоритм, который для входа GG\mathcal G выводит запрещенных несовершеннолетних или это неразрешимо? Очевидно, что ответ может зависеть от того, как GG\mathcal Gописано во входе. Например, еслиGG\mathcal G дается MGMGM_\mathcal G которые …

9 graph-theory  decidability  graph-minor 

Рассмотрим произвольную контекстно-свободную грамматику гGG по алфавиту { 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbrace, К произведениям этой грамматики добавьте два фиксированных неконтекстно-свободных произведения.пPP: 0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon а также 1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilon, Назовите полученную грамматикугпGPG^P стоя загGG дополнен производств пPP». Можно ли дать алгоритм, …

9 context-free  decidability 

Есть проблемы, которые разрешимы, есть проблемы, которые неразрешимы, есть полурешимость и т. Д. В этом случае мне интересно, может ли проблема быть мета неразрешимой. Это означает (по крайней мере, в моей голове), что мы не можем сказать, разрешимо это или нет. Возможно, известно, что разрешимость неразрешима (все неразличимо с мета), …

9 computability  decidability  undecidability