Preguntas etiquetadas con computability

El combinador de punto fijo FIX (también conocido como el combinador Y) en el cálculo lambda ( tipo) ( ) se define como:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Entiendo su …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

El problema de detención indica que no existe un algoritmo que determine si un programa determinado se detiene. Como consecuencia, debe haber programas sobre los que no podemos saber si terminan o no. ¿Cuáles son los ejemplos más simples (más pequeños) conocidos de tales programas?

27 computability  turing-machines  halting-problem 

Tenga en cuenta que, aunque sé programar, soy un principiante en la teoría de CS. De acuerdo con esta respuesta La integridad de Turing es un concepto abstracto de computabilidad. Si un idioma es completo de Turing, entonces es capaz de hacer cualquier cálculo que cualquier otro lenguaje completo de …

26 computability  programming-languages  turing-completeness 

Tengo problemas para comprender la prueba de la indecidibilidad del problema de detención. Si devuelve si el programa a se detiene o no en la entrada b , ¿por qué tenemos que pasar el código de P para a y b ?H( a , b )H(a,b)H(a,b)unaaasibbPAGSPPunaaasibb ¿Por qué no podemos …

25 computability  turing-machines 

Claramente no hay ningún problema indecidible en NP. Sin embargo, según Wikipedia : NP es el conjunto de todos los problemas de decisión para los cuales las instancias donde la respuesta es "sí" tienen [... pruebas que son] verificables en tiempo polinómico por una máquina de Turing determinista. [...] Se …

25 complexity-theory  computability  undecidability  decision-problem 

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 entender lo que son. ¿Puede alguien decirme qué son en …

24 formal-languages  computability  turing-machines 

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 7 años . Acabo de tener esta pregunta interesante. ¿Cuál es la función de más rápido crecimiento conocida por el hombre? ¿Está ocupado el castor ? Conocemos funciones …

24 computability 

En la teoría de la computabilidad, las funciones computables también se denominan funciones recursivas. Al menos a primera vista, no tienen nada en común con lo que ustedes llaman "recursivo" en la programación diaria (es decir, funciones que se llaman a sí mismos). ¿Cuál es el significado real de recursivo …

23 computability  terminology  history 

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 7 años . "Alan Turing demostró en 1936 que no puede existir un algoritmo general para resolver el problema de detención para todos los posibles pares de entrada …

23 computability  formal-methods  halting-problem  software-verification 

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 Church. El cálculo …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

He estudiado algo sobre la complejidad de Kolmogorov , leí algunos artículos y libros de Vitanyi y Li y usé el concepto de Distancia de compresión normalizada para verificar la estilometría de los autores (identifique cómo cada autor escribe algunos textos y documentos grupales por su similitud). En ese caso, …

22 computability  approximation  data-compression  kolmogorov-complexity 

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 …

22 computability  turing-machines  halting-problem 

¿Hay algún lenguaje "natural" que sea indecidible? por "natural" me refiero a un lenguaje definido directamente por las propiedades de las cadenas, y no a través de máquinas y su equivalente. En otras palabras, si las miradas del lenguaje como donde M es una MT, DFA (o regular-exp), PDA (o …

22 formal-languages  automata  computability  undecidability 

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 la formulación …

21 computability  turing-machines  computation-models  halting-problem 

Cuando se consideran modelos de cómputo de máquinas, la jerarquía de Chomsky normalmente se caracteriza por (en orden), autómatas finitos, autómatas push-down, autómatas lineales y máquinas de Turing. Para el primer y último nivel 1 (lenguajes regulares y lenguajes recursivamente enumerables), no importa el poder del modelo si consideramos máquinas …

21 formal-languages  computability  context-free  computation-models  context-sensitive