Запитання з тегом «halting-problem»

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

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

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

17 computability  reference-request  turing-machines  halting-problem 

Існують релятивістські космічні часи (наприклад, MH spacetimes; див. Hogarth 1994), де світова лінія нескінченної тривалості може міститися в минулому кінцевого спостерігача. Це означає, що звичайний спостерігач може мати доступ до нескінченної кількості кроків обчислення. Якщо припустити, що комп'ютер може бездоганно функціонувати протягом нескінченного періоду часу (і я знаю, що це …

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

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

14 algorithms  reductions  halting-problem 

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

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

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

12 computability  halting-problem 

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

12 turing-machines  undecidability  halting-problem 

Я розумію, що більшість проблем є тривіальними, якщо доступний оракул, що зупиняється (або, я думаю, що рівнозначно, гіпер-обчислення). Однак застосування аргументу, який показує, що Проблема зупинки неможлива для машини Тьюрінга, також показує, що Tracle + oracle не може вирішити проблему зупинки для Tracle + oracle. Чи існують якісь фактичні, практичні …

11 computability  undecidability  halting-problem  oracle-machines 

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

10 computability  decision-problem  halting-problem  cellular-automata 

У проблемі зупинки нас цікавить, чи є машина Тьюрінга яка може визначити, чи зупиняється дана машина Тьюрінга M на даному вході i . Зазвичай доказ починається з того, що такий Т існує. Потім ми розглянемо випадок , коли ми обмежуємо I до М самим, а потім отримати протиріччя, використовуючи екземпляр …

10 computability  undecidability  halting-problem 

У мета математики Хайтіна ! Квест «Омега» , він коротко розповідає про десяту проблему Гільберта. Потім він каже, що будь-яке Діофантинове рівняння можна змінити на два рівні многочлени з позитивними цілими коефіцієнтами: .p = 0p = 0p=0p=0p = 0⟺p1= р2p=0⟺p1=p2p=0 \iff p_1 = p_2 Потім він каже, що ми можемо …

10 logic  halting-problem 

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

9 computability  turing-machines  undecidability  halting-problem 

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

9 computability  undecidability  halting-problem