Preguntas etiquetadas con turing-machines

Estoy empezando a leer un libro sobre Complejidad Computacional y Máquinas de Turing. Aquí está la cita: Un algoritmo (es decir, una máquina) puede representarse como una cadena de bits una vez que decidimos sobre una codificación canónica. Esta afirmación se proporciona como un hecho simple, pero no puedo entenderlo. …

17 algorithms  turing-machines  computability  computation-models 

Hay muchos (y quiero decir muchos) idiomas contables que son decidibles por Turing. ¿Puede cualquier lenguaje incontable ser Turing decidible?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

¿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 

No existe una solución analítica general para el problema del cuerpo n que pueda producir una función analítica que pueda usarse para proporcionar el estado de un sistema n-cuerpo en un tiempo arbitrario t con precisión exacta. Sin embargo, hay algunos casos especiales de sistemas de n cuerpos para los …

16 computability  turing-machines  undecidability  computation-models 

En esta pregunta solo consideramos las máquinas de Turing que detienen todas las entradas. Si entonces por denotamos la máquina de Turing cuyo código es .k ∈ N k∈Nk \in \mathbb{N}T kTkT_k kkk Considere la siguiente función s ( x , y ) = min { k ∣ | L …

16 computability  turing-machines 

Sea una función fija construible en el tiempo.fff El clásico resultado de la simulación universal para TMs (Hennie y Stearns, 1966) establece que hay una TM dos cintas tal queUUU la descripción de un TM , y⟨M⟩⟨M⟩\langle M \rangle una cadena de entrada ,xxx corre por pasos y devuelve la …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Tenga en cuenta que esta es una pregunta relacionada con el estudio en un curso de CS en una universidad, NO es tarea y se puede encontrar aquí en el examen de otoño de 20112. Aquí están las dos preguntas que estoy viendo en un examen anterior. Parecen estar relacionados, …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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 

Alguien en una discusión mencionó que (él cree) que puede haber al menos un número continuo de estrategias para abordar un problema específico. El problema específico eran las estrategias comerciales (no los algoritmos sino las estrategias), pero creo que eso no viene al caso en mi pregunta. Esto me hizo …

15 algorithms  turing-machines  combinatorics 

Los algoritmos de ajedrez actuales van alrededor de 1 o tal vez 2 niveles por un árbol de posibles caminos dependiendo de los movimientos del jugador y del oponente. Digamos que tenemos el poder informático para desarrollar un algoritmo que predice todos los movimientos posibles del oponente en un juego …

15 algorithms  turing-machines 

Estoy usando una computadora digital para escribir este mensaje. Tal máquina tiene una propiedad que, si lo piensa, es realmente notable: es una máquina que, si se programa adecuadamente, puede realizar cualquier cálculo posible . Por supuesto, las máquinas de calcular de un tipo u otro vuelven a la antigüedad. …

15 computability  turing-machines  history 

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 …

14 turing-machines  turing-completeness  digital-circuits 

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 …

14 computability  turing-machines  undecidability 

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 indecidibles y no semidecidibles? Pensé …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

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 esto?

13 turing-machines  computation-models