Preguntas etiquetadas con halting-problem

La definición principal de Turing machine (TM), al menos en mi propio libro de texto de referencia (Hopcroft + Ullman 1979) es determinista. Por lo tanto, mi propia comprensión del problema de detención es principalmente para TM determinista, aunque soy consciente de que puede considerarse para otros tipos de autómatas. …

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

¿Existe una máquina de Turing que se detiene en todas las entradas pero esa propiedad no es demostrable por alguna razón? Me pregunto si esta pregunta ha sido estudiada. Tenga en cuenta que "no demostrable" podría significar un sistema de prueba "limitado" (que en el sentido débil piensa que la …

17 computability  reference-request  turing-machines  halting-problem 

Hay tiempos espaciales relativistas (por ejemplo, tiempos espaciales MH; ver Hogarth 1994) donde una línea mundial de duración infinita puede estar contenida en el pasado de un observador finito. Esto significa que un observador normal puede tener acceso a un número infinito de pasos de cálculo. Suponiendo que sea posible …

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

Tengo el problema Demuestre que existe un número real para el que no existe ningún programa que se ejecute infinitamente largo y escriba los dígitos decimales de ese número. Supongo que se puede resolver reduciéndolo al problema de detención, pero no tengo idea de cómo hacerlo. También agradecería enlaces a …

14 algorithms  reductions  halting-problem 

He leído en Wikipedia y algunos otros textos que El problema de detención es [...] decidible para autómatas lineales (LBA) [y] máquinas deterministas con memoria finita. Pero antes se escribe que el problema de detención es un problema indecidible y, por lo tanto, TM no puede resolverlo. Dado que LBA …

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

Tengo problemas para entender el problema de Turing. Su prueba asume que existe una máquina mágica que podría determinar si una computadora se detendría o realizaría un bucle para siempre para una entrada determinada. Luego conectamos otra máquina que invierte la salida y tenemos una contradicción y, por lo tanto, …

12 computability  halting-problem 

Estaba leyendo una respuesta a una pregunta reciente, y una especie de pensamiento extraño y efímero vino a mi mente. Si pregunto esto, podría traicionar que mis habilidades teóricas faltan seriamente (en su mayoría ciertas) o que es demasiado pronto para que yo lea este sitio. Ahora, con el descargo …

12 turing-machines  undecidability  halting-problem 

Entiendo que la mayoría de los problemas son triviales si hay un oráculo de detención disponible (o, creo, equivalentemente, hipercomputación). Sin embargo, aplicar el argumento que muestra que el problema de detención es imposible para una máquina de Turing también muestra que es imposible que un oráculo de Turing + …

11 computability  undecidability  halting-problem  oracle-machines 

He estado tratando de averiguar si el problema de detención es decidible para autómatas celulares unidimensionales de 3 símbolos. Definición Sea la configuración del sistema en el paso de tiempo . Más formalmente , donde es el alfabeto.i f : A ∗ × N → A ∗ Af(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to …

10 computability  decision-problem  halting-problem  cellular-automata 

En el problema de detención, nos interesa saber si hay una máquina Turing que pueda decir si una máquina Turing detiene o no en una entrada dada . Por lo general, la prueba comienza asumiendo que tal existe. Luego, consideramos un caso en el que restringimos a , y luego …

10 computability  undecidability  halting-problem 

En Chaitin's Meta Math! The Quest For Omega , habla brevemente del décimo problema de Hilbert. Luego dice que cualquier ecuación de diofantina se puede cambiar en dos polinomios iguales con coeficientes enteros positivos: .p = 0p = 0p=0p=0p = 0⟺pags1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Luego dice que podemos …

10 logic  halting-problem 

En este sitio hay muchas variantes sobre la cuestión de si las TM pueden decidir el problema de detención, ya sea para todas las otras TM o ciertos subconjuntos. Esta pregunta es algo diferente. Pregunta si el problema de detención se aplica a todas las TM puede ser decidido por …

9 computability  turing-machines  undecidability  halting-problem 

Se me ocurrió esta pregunta sobre el problema de detención y no pude encontrar una buena respuesta en línea, preguntándome si alguien puede ayudar. ¿Es posible que el problema de detención sea decidible para cualquier TM en cualquier entrada, siempre que la entrada no sea la propia TM? Básicamente: Halts(TM, …

9 computability  undecidability  halting-problem 

Según esta fuente, la constante Chaitin es normal.ΩΩ\Omega Cada probabilidad de detención es un número real normal y trascendental que no es computable, lo que significa que no hay un algoritmo para calcular sus dígitos. De hecho, cada probabilidad de detención es aleatoria de Martin-Löf, lo que significa que ni …

9 halting-problem 

Estoy tratando de encontrar una manera de explicar la idea de la prueba del problema de detención de la manera más accesible posible (para estudiantes universitarios de CS). El argumento más simple que he encontrado es este ; este es precisamente el estilo de tratamiento que busco. Sin embargo, la …

8 halting-problem