Запитання з тегом «turing-machines»

Я кілька разів читав, що не вдається ефективно відгорнути відповідь NDTM. Однак я не розумію, чому. Наприклад, з огляду на NDTM який працює в , у цьому тексті (розділ 3.3) зазначено, що незрозуміло, як інший NDTM може визначити за час, як відгорнути відповідьMMMO(n)O(n)O(n)TTTO(n100)O(n100)O(n^{100})MMM Моя проблема полягає в наступному: NDTM виводить …

11 complexity-theory  turing-machines 

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

10 computability  turing-machines  simulation  turing-completeness 

Доведено, що проблема вирішення того, чи є вхід паліндром чи ні, не вимагає місця на машині Тьюрінга. Однак навіть зберігання входу займає простір значить, це не означає, що всі машини Тьюрінга потребують місця ?Ω ( логn )Ω(журнал⁡н)\Omega(\log n)ннnΩ ( n )Ω(н)\Omega(n) Звичайно, тут немає суперечності, оскільки будь-яка функція, яка використовує …

10 turing-machines  space-complexity 

Я бачив веб-сайти, які хочуть "довести", що HTML5 + CSS є Turing завершеним. Я бачив веб-сайти, які мають на меті "довести", що SQL є Turing завершеним. Я бачив купу веб-сайтів, які хочуть "пояснити", що означає бути Тьюрінгом завершеним. Достатньо! Де я можу знайти книгу (написану експертом з теорії обчислюваності) або …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Машини Тьюрінга та необмежені граматики - це два різних формалізму, які визначають мови РЕ. Деякі мови RE можна вирішити, але не всі вони є. Ми можемо визначити мови, що вирішуються, за допомогою машин Тьюрінга, сказавши, що мова є рішучою, якщо є TM для мови, який зупиняє та приймає всі рядки …

10 computability  turing-machines  formal-grammars 

Чи означає прийняття означає, що TM буде читати та розпізнавати знак із клітини, з якої він зараз читає? І чи трапляється так, що TM зупиняє iff вхідний сигнал?

10 terminology  turing-machines  undecidability 

Питання - вправа 1.9 з книги "Арора-Барак" Обчислювальна складність - сучасний підхід : Визначте машину ОЗУ Тьюрінга як машину Тьюрінга, яка має пам'ять з випадковим доступом. Ми формалізуємо це так: Машина має нескінченний масив A, який ініціалізується на всі заготовки. Доступ до цього масиву здійснюється наступним чином. Одна з робочих …

10 complexity-theory  turing-machines  machine-models  simulation 

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

10 computability  turing-machines  intuition 

У мене є така алгоритмічна проблема: Визначте простір Тюрінга щодо складності розпізнавання струн ДНК, які є паліндромами Уотсона-Крика. Паліндром Уотсона-Крика - це струни, перевернутим доповненням яких є оригінальний рядок. Доповненням визначається буква-навхрест, натхненний ДНК: А є доповненням Т і С є доповненням Г. Простий приклад для WC-паліндром ACGT. Я придумав …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Гаразд, ось питання з минулого тесту в моєму класі Теорія обчислень: Непридатний стан у ТМ - це стан, який ніколи не вводиться в жодному вхідному рядку. Нехай Доведіть, що можна визначити.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in …

10 computability  undecidability  formal-methods  turing-machines 

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

9 computability  turing-machines  undecidability  halting-problem 

Одне твердження теореми Райса наведено на сторінці 35 "Комп'ютерна складність: сучасний підхід" (Арора-Барак): Часткова функція від {0,1}∗{0,1}∗\{0,1\}^* до {0,1}∗{0,1}∗\{0,1\}^*це функція, яка не обов'язково визначається на всіх її входах. Ми говоримо, що ТМMMM обчислює часткову функцію fff якщо для кожного xxx на якому fff визначено, M(x)=f(x)M(x)=f(x)M(x) = f(x) і для кожного …

9 computability  turing-machines  undecidability  rice-theorem 

Для того, щоб довести, що 3-х забарвлення можна вирішити, чи достатньо сказати: Кожен вузол у графі має 3 можливі кольори Тому ми можемо перерахувати всі можливості, а потім перевірити, чи не два ребра з'єднують вузли одного кольору3н3н3^n Чи це доводить, що 3-х забарвлення можна вирішити? Або мені потрібно створити машину …

9 computability  turing-machines  colorings 

Нехай рядок введення задається як . Тоді якщо NFA в даний час знаходиться в стані (і прочитав вхідний алфавіт w_i ), то перед читанням наступного символу введення NFA розбивається на два NFA, один перебуває в стані r, а інший знаходиться в s , якщо є перехід тип r \ xrightarrow …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

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

9 turing-machines  finite-automata