Запитання з тегом «decidability»

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

92 computability  decidability 

Якщо обмежувати машини Тюрінга кінцевою стрічкою (тобто використовувати обмежений простір ), то проблема зупинки вирішується, по суті, через кілька кроків (які можна обчислити з числа станів , і алфавіту), конфігурацію потрібно повторити.Q SSSSQQQSSS Чи існують інші природні обмеження машини Тюрінга, які роблять зупинку вирішальною? Безумовно, якщо графік переходу стану не …

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 

Я намагаюся вирішити конкретну проблему, і я подумав, що, можливо, вдасться вирішити її за допомогою теорії автомати. Мені цікаво, які моделі автоматів мають обмежувальний вміст, який можна вирішити в поліноміальний час? тобто якщо у вас є машини M1,M2M1,M2M_1, M_2 ви можете перевірити, чи ефективно L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) . Очевидними з …

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

Я знаю, що неможливо визначити еквівалентність для нетипового обчислення лямбда. Цитуючи Barendregt, HP Обчислення лямбда: його синтаксис та семантика. Північна Голландія, Амстердам (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 \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x \sim …

12 decidability  asymptotics 

Система векторного доповнення (VAS) - це кінцевий набір дій A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d - сукупність маркування . Перспективою є непустою словом маркування m0m1…mnm0m1…mnm_0 m_1\dots m_n х ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A . Якщо таке слово існує, ми говоримо, що mnmnm_n є доступним від m0m0m_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 Очевидно, відповідь може залежати від того, як описується у вхідних даних. Наприклад, якщо заданий який може визначити членство, …

9 graph-theory  decidability  graph-minor 

Розглянемо довільну без контексту граматику GGG над алфавітом {0,1,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbrace. До постановок цієї граматики додайте дві фіксовані безконтекстні постановкиPPP: 0¯¯¯0→ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon і 1¯¯¯1→ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilon. Назвіть отриману граматикуGPGPG^P стоячи за "GGG доповнені з постановками PPP". Чи можна дати алгоритм, який займає граматику GPGPG^P і рядок …

9 context-free  decidability 

Є проблеми, які можна вирішити, є деякі, які не можна визначити, є напіврозрізненість тощо. У цьому випадку мені цікаво, чи проблема може бути мета-невирішеною. Це означає (принаймні в моїй голові), що ми не можемо сказати, вирішується чи ні. Можливо, відомо, що розширюваність не визначається (все мета-не визначимо), і не існує …

9 computability  decidability  undecidability