Вопросы с тегом «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 , не значит ли это, что всем машинам Тьюринга требуется пространство Ω ( n ) ?Ω ( журналн )Ω(журнал⁡N)\Omega(\log n)NNnΩ ( n )Ω(N)\Omega(n) Конечно, здесь нет …

10 turing-machines  space-complexity 

Я видел веб-сайты, которые якобы «доказывают», что HTML5 + CSS является Turing Complete. Я видел сайты, которые якобы «доказывают», что SQL завершен по Тьюрингу. Я видел множество веб-сайтов, которые якобы «объясняют», что значит быть завершенным по Тьюрингу. Достаточно! Где я могу найти книгу (написанную экспертом в области теории вычислимости) или …

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

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

10 computability  turing-machines  formal-grammars 

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

10 terminology  turing-machines  undecidability 

Вопрос в упражнении 1.9 из книги Арора-Барака « Вычислительная сложность - современный подход» : Определите машину Тьюринга в ОЗУ как машину Тьюринга с оперативной памятью. Мы формализуем это следующим образом: У машины есть бесконечный массив A, который инициализируется для всех пробелов. Он обращается к этому массиву следующим образом. Одна из …

10 complexity-theory  turing-machines  machine-models  simulation 

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

10 computability  turing-machines  intuition 

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

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Итак, вот вопрос из прошлого теста в моем классе теории вычислений: Бесполезное состояние в ТМ - это состояние, которое никогда не вводится ни в какую строку ввода. Пусть Докажите, что неразрешима.USELESSTM={⟨M,q⟩∣q is a useless state in M}.USЕLЕSSTMзнак равно{⟨M,Q⟩|Q бесполезное состояние в M},\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ …

10 computability  undecidability  formal-methods  turing-machines 

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

9 computability  turing-machines  undecidability  halting-problem 

Одно из утверждений о теореме Райса приведено на странице 35 «Вычислительная сложность: современный подход» (Арора-Барак): Частичная функция от до - это функция, которая не обязательно определяется на всех ее входах. Мы говорим, что TM вычисляет частичную функцию если для каждого для которого определено , и для каждого для которого не …

9 computability  turing-machines  undecidability  rice-theorem 

Чтобы доказать, что 3-раскраска разрешима, достаточно сказать: Каждый узел на графике имеет 3 возможных цвета Поэтому мы можем перечислить все возможностей и затем проверить, что никакие два ребра не соединяют узлы одного цвета3N3N3^n Означает ли это, что 3-раскраска разрешима? Или мне нужно построить машину Тьюринга для правильного доказательства? По 3-цветному …

9 computability  turing-machines  colorings 

Пусть входная строка будет задана как . Затем, если NFA в настоящее время находится в состоянии (и прочитал входной алфавит ), то перед чтением следующего входного символа NFA разделяется на два NFA, один из которых находится в состоянии а другой - в , если происходит переход тип . Если существует …

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

Кажется, я вспоминаю из студенческого класса, что для машины Тьюринга с конечной лентой всегда будут существовать соответствующие конечные автоматы, но я не смог найти это подтверждение где-либо в Интернете. Это на самом деле так, или я неправильно помню?

9 turing-machines  finite-automata