Preguntas etiquetadas con turing-machines

¿Existe una relación entre la Máquina de Turing y el cálculo Lambda, o simplemente surgieron al mismo tiempo?

49 computability  lambda-calculus  turing-machines 

Tengo tres preguntas secundarias relacionadas, que se destacan con viñetas a continuación (no, no se pueden dividir, si se lo pregunta). Andrej Bauer escribió, aquí , que algunas funciones son realizables a través de una máquina de Turing, pero no a través del cálculo lambda. Un paso clave de su …

48 computability  lambda-calculus  turing-machines 

Tengo entendido que el modelo de Turing se ha convertido en el "estándar" al describir el cálculo. Me interesa saber por qué este es el caso, es decir, por qué el modelo TM se ha vuelto más utilizado que otros modelos teóricamente equivalentes (que yo sepa), por ejemplo, μ-Recursion de …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Las computadoras reales tienen memoria limitada y solo un número finito de estados. Por lo tanto, son esencialmente autómatas finitos. ¿Por qué los informáticos teóricos usan las máquinas de Turing (y otros modelos equivalentes) para estudiar computadoras? ¿Cuál es el punto de estudiar estos modelos mucho más fuertes con respecto …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

¿Se pueden calcular todas las funciones que es computable en el tiempo en una máquina Turing de una sola cinta usando un alfabeto de tamaño tiempo en una máquina de Turing de una sola cinta usando un alfabeto de tamaño (digamos, y en blanco)?t k = O ( 1 ) …

40 computability  turing-machines 

Estoy buscando una respuesta definitiva sobre si la generación de números "verdaderamente aleatorios" es computable por Turing. No sé cómo expresar esto con precisión. Esta pregunta de StackExchange sobre "algoritmos eficientes para la generación de números aleatorios" se acerca a responder mi pregunta. Charles Stewart dice en su respuesta: "[la …

39 reference-request  computability  turing-machines  randomness 

Paul Wegner y Dina Goldin han publicado durante más de una década documentos y libros argumentando principalmente que la tesis de la Iglesia-Turing a menudo se tergiversa en la comunidad de Teoría del CS y en otros lugares. Es decir, se presenta como que abarca todo el cómputo cuando, de …

38 computability  turing-machines  machine-models  church-turing-thesis 

En la introducción y explicación, las clases de complejidad P y NP a menudo se dan a través de la máquina Turing. Uno de los modelos de computación es el cálculo lambda. Entiendo que todos los modelos de computación son equivalentes (y si podemos introducir algo en términos de máquina …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

Si se restringe Turing Machines a una cinta finita (es decir, para usar el espacio limitado ), entonces el problema de detención es decidible, esencialmente porque después de varios pasos (que pueden calcularse a partir del número de estados Q y S , y el tamaño del alfabeto), se debe …

33 turing-machines  decidability 

Quiero codificar una máquina simple de Turing en las reglas de un juego de cartas. Me gustaría convertirlo en una máquina universal de Turing para demostrar su integridad. Hasta ahora, he creado un estado de juego que codifica la máquina Turing de 2 estados y 3 símbolos de Alex Smith …

31 computability  turing-machines  universal-computation 

Una computadora que recibe un flujo infinito de bits verdaderamente aleatorios es más poderosa que una computadora sin una. La pregunta es: ¿es lo suficientemente potente como para resolver el problema de detención? Es decir, ¿puede una computadora probabilística determinar si un programa determinista se detiene o no ? Ejemplo …

29 computability  randomness  turing-machines 

Sabemos que (véanse, por ejemplo, los Teoremas 1 y 3 de [1]), en términos generales, en condiciones adecuadas, las funciones que pueden calcularse eficientemente por la máquina de Turing en tiempo polinómico ("eficientemente computable") pueden expresarse mediante redes neuronales polinómicas con tamaños razonables, y por lo tanto se puede aprender …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

En este artículo de Wikipedia sobre la integridad de Turing establece que: El cálculo lambda no tipificado es Turing completo, pero muchos cálculos lambda tipificados, incluido el Sistema F, no lo son. El valor de los sistemas mecanografiados se basa en su capacidad para representar la mayoría de los programas …

28 computability  turing-machines  haskell 

Supongamos que quisiera formalizar la prueba de Turing sobre el problema de detención para que una máquina pueda verificarlo. Algunos de los sistemas de prueba de teoremas automatizados conocidos incluyen Mizar, Coq y HOL4. Descargué y experimenté con Coq, pero no tiene una biblioteca para máquinas Turing. Pensé en codificar …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

Si seguimos el libro (o cualquier otra versión de la especificación del lenguaje si lo prefiere), ¿cuánta potencia computacional puede tener una implementación de C? Tenga en cuenta que "implementación C" tiene un significado técnico: es una instanciación particular de la especificación del lenguaje de programación C donde se documenta …

28 computability  turing-machines  pl.programming-languages  recreational