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

Вопросы, касающиеся проблемы остановки, которая заключается в том, чтобы решить, останавливается ли данная программа на заданном входе.

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

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

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

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

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

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

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

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

1
Разрешаема ли проблема остановки для трехмерных одномерных клеточных автоматов?
Я пытался выяснить, разрешима ли проблема остановки для трехмерных одномерных клеточных автоматов. Определение Пусть обозначает конфигурацию системы на временном шаге 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 Определение. Сотовый автомат остановился в …

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

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

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

2
Возможно ли, что проблема остановки разрешима для всего ввода, кроме кода машины?
Мне пришло в голову этот вопрос о проблеме остановки, и я не смог найти хорошего ответа в Интернете, задаваясь вопросом, может ли кто-нибудь помочь. Возможно ли, что проблема остановки разрешима для любого ТМ на любом входе, если он не сам ТМ? В принципе: Halts(TM, I) IF TM == I: Undecidable, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.