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...
Sé que las compuertas NAND se pueden usar para crear circuitos que implementen todas las tablas de verdad, y las computadoras modernas se componen de compuertas NAND. ¿Cuál es el vínculo teórico entre las puertas NAND y la integridad de Turing? Me parece que los circuitos de compuerta NAND están...
Tengo estas preguntas de un antiguo examen que estoy tratando de resolver. Para cada problema, la entrada es una codificación de una máquina de Turing MMM . Para un entero c>1c>1c>1 , y los siguientes tres problemas: ¿Es cierto que para cada entrada xxx , M no pasa el |x|+c|x|+c|x|+c...
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...
Sin embargo, muchos problemas indecidibles "famosos" son al menos semidecidibles, y su complemento es indecidible. Un ejemplo sobre todo puede ser el problema de detención y su complemento. Sin embargo, ¿alguien puede darme un ejemplo en el que tanto un problema como su complemento sean...
Estoy tratando de entender la existencia de lenguajes no reconocibles. Para obtener esto, necesito saber por qué una máquina Turing reconoce solo un idioma, no varios. ¿Por qué es
Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de...
Antecedentes: soy un laico completo en informática. Estaba leyendo sobre los números de Busy Beaver aquí , y encontré el siguiente pasaje: Es posible que la humanidad nunca sepa el valor de BB (6) con certeza, y mucho menos el de BB (7) o cualquier número más alto en la secuencia. De hecho,...
Estaba revisando la definición de Wikipedia de lenguaje sensible al contexto y encontré esto: Cada categoría de idiomas es un subconjunto apropiado de la categoría directamente encima de ella. Cualquier autómata y cualquier gramática en cada categoría tiene un autómata o gramática equivalente en...
Aquí está el problema: Demuestre que las máquinas de Turing de una sola cinta que no pueden escribir en la parte de la cinta que contiene la cadena de entrada reconocen solo los idiomas normales. Mi idea es demostrar que esta TM en particular es equivalente a una DFA. Usar este TM para simular...
Las definiciones de las máquinas de Turing son siempre explícitas sobre el símbolo en blanco que no forma parte del alfabeto de entrada. Me pregunto qué sale mal cuando lo harías parte del alfabeto de entrada, porque efectivamente el símbolo en blanco ya parece ser parte de la entrada. Para...
¿Qué diferencias hay entre las máquinas de Turing deterministas y no deterministas? Modelos diferentes pero equivalentes de NDTM. En particular, ¿cuál es esta frase de uso frecuente "adivinanza no determinista"? Cómo usarlo correctamente y ejemplos de uso incorrecto. Mi objetivo es crear una...
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...
He visto máquinas turing representadas con cintas infinitas en una y en dos direcciones. ¿Hay alguna diferencia en el poder de tales máquinas de turing, o son básicamente equivalentes? En mi cabeza, creo que son equivalentes, ya que supongo que debe haber alguna forma de representar la cinta...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
Leí varias veces que no es posible cambiar la respuesta de un NDTM de manera eficiente. Sin embargo, no entiendo por qué. Por ejemplo, dado un NDTM que se ejecuta en O ( n ) , este texto (sección 3.3) establece que no está claro cómo otro NDTM T puede determinar en O ( n 100 ) tiempo cómo voltear...
Me dijeron que las computadoras cuánticas no son computacionalmente más poderosas que las máquinas de Turing. ¿Podría alguien ayudarme amablemente a dar algunas referencias de literatura que expliquen este
Me he preguntado por qué las cintas / cintas no son parte de la definición formal de una máquina de Turing. Considere, por ejemplo, la definición formal de una máquina de Turing en la página de Wikipedia . La definición, siguiendo a Hopcroft y Ullman, incluye: el conjunto finito de estados , el...
Estoy leyendo Sipser y me resulta difícil entender cuál es el proceso, de modo que si me das k máquinas Turing con k cintas, puedo escupir una máquina Turing equivalente con una sola cinta. Un ejemplo sería bueno. En realidad, lo que realmente estoy buscando es un ejemplo resuelto que muestre cómo...
¿La existencia de problemas indecidibles implica inmediatamente la no previsibilidad de los sistemas físicos? Consideremos el problema de detención, primero construimos un UTM físico, digamos usando la construcción basada en circuito habitual. Entonces no puede haber una teoría física decidible que...