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

Хочеться знати, чи можна вирішити наступну проблему і як це з'ясувати. Кожна проблема, яку я бачу, можу сказати "так" чи "ні", тому чи можна вирішити більшість проблем та алгоритмів, за винятком декількох (що надано тут )? Введення: Направлений і кінцевий графік , з і як вершини Питання: Чи існує шлях …

17 algorithms  computability  graph-theory  undecidability 

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

16 computability  turing-machines  undecidability  computation-models 

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

16 computability  undecidability  pushdown-automata 

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

15 computability  automata  undecidability 

Відомо, що мова слів, що містять рівну кількість 0 і 1, не є регулярною, тоді як мова слів, що містять рівну кількість 001 і 100, є регулярною ( див. Тут ). Враховуючи два слова w1,w2w1,w2w_1,w_2 , чи вирішується мова, якщо мова слів, що містять рівну кількість і є регулярною?w1w1w_1w2w2w_2

14 regular-languages  undecidability 

Цікаво , як вийшло , що наступний мову в .RR\mathrm R LМ1= { ⟨ М2⟩∣∣М2 є ТМ і L ( M1) = L ( M2) , та | ⟨ M1⟩ |> | ⟨ M2⟩ |}LМ1={⟨М2⟩|М2 є ТМ, і L(М1)=L(М2), і |⟨М1⟩|>|⟨М2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } …

14 computability  undecidability 

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

14 computability  turing-machines  undecidability 

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

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

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

13 computability  undecidability  decision-problem 

Я читав у Вікіпедії та деякі інші тексти, які Проблема зупинки вирішується [...] для лінійно обмежених автоматів (LBA) [та] детермінованих машин з обмеженою пам'яттю. Але раніше було написано, що проблема зупинки - це не визначена проблема, і тому TM не може її вирішити! Оскільки LBA визначені як тип ТМ, чи …

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