Вопросы с тегом «halting-problem»

Основное определение машины Тьюринга (ТМ), по крайней мере, в моем собственном справочнике (Hopcroft + Ullman 1979), является детерминированным. Следовательно, мое собственное понимание проблемы остановки главным образом относится к детерминированной ТМ, хотя я знаю, что это может быть рассмотрено для других видов автоматов. Я также заметил, что детерминизм часто более или …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Существует ли машина Тьюринга, которая останавливается на всех входах, но это свойство не доказуемо по какой-то причине? Мне интересно, если этот вопрос был изучен. Обратите внимание, что «недоказуемое» может означать «ограниченную» систему доказательств (которая в слабом смысле думает, что ответ должен быть да). Меня, конечно, интересует самый сильный ответ, т. …

17 computability  reference-request  turing-machines  halting-problem 

Существуют релятивистские пространства-времени (например, пространства-времени МГ; см. Хогарт, 1994), где мировая линия бесконечной длительности может содержаться в прошлом конечного наблюдателя. Это означает, что обычный наблюдатель может иметь доступ к бесконечному количеству вычислительных шагов. Предполагая, что компьютер может функционировать идеально в течение бесконечного промежутка времени (и я знаю, что это большая …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

У меня проблема: Покажите, что существует действительное число, для которого не существует ни одной программы, которая работает бесконечно долго и записывает десятичные цифры этого числа. Я полагаю, что это можно решить, сведя его к проблеме остановки, но я понятия не имею, как это сделать. Буду также признателен за ссылки на …

14 algorithms  reductions  halting-problem 

Я читал в Википедии и некоторых других текстах, которые Проблема остановки [...] разрешима для линейных ограниченных автоматов (LBA) [и] детерминированных машин с конечной памятью. Но ранее было написано, что проблема остановки - неразрешимая проблема, и поэтому TM не может ее решить! Так как LBA определены как тип TM, разве это …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

У меня проблемы с пониманием проблемы остановки Тьюринга. Его доказательство предполагает, что существует магическая машина которая может определить, будет ли компьютер останавливаться или зацикливаться навсегда для данного ввода. Затем мы подключаем другую машину, которая обращает вывод, и у нас есть противоречие, и поэтому не может существовать.ЧАСHHЧАСHH Я обеспокоен тем, что …

12 computability  halting-problem 

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

12 turing-machines  undecidability  halting-problem 

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

11 computability  undecidability  halting-problem  oracle-machines 

Я пытался выяснить, разрешима ли проблема остановки для трехмерных одномерных клеточных автоматов. Определение Пусть обозначает конфигурацию системы на временном шаге i . Более формально f : A ∗ × N → A ∗ , где A - алфавит.е( ш , я )f(w,i)f(w,i)яiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Определение. Сотовый автомат остановился в …

10 computability  decision-problem  halting-problem  cellular-automata 

В проблеме остановки нас интересует, существует ли машина Тьюринга которая может определить, останавливается ли данная машина Тьюринга на заданном входе i . Обычно доказательство начинает предполагать, что такой T существует. Затем мы рассмотрим случай , когда мы ограничиваем I к М самим, а затем получить противоречие, используя экземпляр диагонального аргумента. …

10 computability  undecidability  halting-problem 

В мета математике Чейтина! В Поисках Омеги он кратко рассказывает о 10-й проблеме Гильберта. Затем он говорит, что любое диофантово уравнение можно заменить на два равных полинома с положительными целыми коэффициентами: .p=0p=0p=0p=0⟺p1=p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Затем он говорит, что мы можем думать об этих уравнениях как о «компьютере»: Компьютер …

10 logic  halting-problem 

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

9 computability  turing-machines  undecidability  halting-problem 

Мне пришло в голову этот вопрос о проблеме остановки, и я не смог найти хорошего ответа в Интернете, задаваясь вопросом, может ли кто-нибудь помочь. Возможно ли, что проблема остановки разрешима для любого ТМ на любом входе, если он не сам ТМ? В принципе: Halts(TM, I) IF TM == I: Undecidable, …

9 computability  undecidability  halting-problem