La lógica constructivista es un sistema que elimina la Ley del Medio Excluido, así como la Doble Negación, como axiomas. Se describe en Wikipedia aquí y aquí . En particular, el sistema no permite pruebas por contradicción. Me pregunto, ¿alguien está familiarizado con cómo esto afecta los...
En clase la semana pasada, mi profesor comentó y dijo que las máquinas de Turing se usan como una medida / modelo estándar de lo que es computable y son una base útil de discusión para ese tema. También dijo que se ha demostrado que todas las variantes de las máquinas de Turing son...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 6 años . Me he encontrado con muchas definiciones de lenguajes recursivos y recursivamente enumerables. Pero no pude...
Quizás mi comprensión limitada del tema es incorrecta, pero esto es lo que entiendo hasta ahora: La programación funcional se basa en el cálculo Lambda, formulado por Alonzo Church. La programación imperativa se basa en el modelo de máquina de Turing, realizado por Alan Turing, estudiante de...
Una máquina de Turing que vuelve a un estado encontrado anteriormente con su cabeza de lectura / escritura en la misma celda de la misma cinta será atrapada en un bucle. Tal máquina no se detiene. ¿Alguien puede dar un ejemplo de una máquina que nunca se detiene y que no
Recientemente escuché una analogía interesante que afirma que la prueba de Turing de la indecidibilidad del problema de detención es muy similar a la paradoja de barbero de Russell. Así que me pregunté: los matemáticos finalmente lograron hacer que la teoría de conjuntos sea coherente al pasar de...
Según este artículo de Wikipedia , las gramáticas sin restricciones son equivalentes a las máquinas de Turing. El artículo señala que puedo convertir cualquier máquina de Turing en una gramática sin restricciones, pero solo muestra cómo convertir una gramática en una máquina de Turing. ¿Cómo puedo...
Estoy buscando ejemplos de problemas que tengan un límite inferior de Ω(|x|2Ω(|x|2\Omega(|x|^2 ) para la entrada xxx . El problema debe tener las siguientes propiedades: Ω(n2)Ω(n2)\Omega(n^2)Prueba de tiempo de ejecución de Ω ( n 2 ) para cualquier algoritmo: la primera prioridad es tener un...
¿Es una máquina de Turing sin la capacidad de escribir en celdas en blanco menos potente que Turing estándar? Creo que la respuesta es sí, pero no puedo encontrar un cálculo que la máquina estándar de Turing pueda hacer, pero esta máquina no. ¿Algunas
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...
¿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...
Hay muchos (y quiero decir muchos) idiomas contables que son decidibles por Turing. ¿Puede cualquier lenguaje incontable ser Turing
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,...
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 ( T k ) ∩ { x , y } | = 1...
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...
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...
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, el primero: Dejar...
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...
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...
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...