He estado leyendo sobre el cálculo Lambda recientemente, pero extrañamente no puedo encontrar una explicación de por qué se llama "Lambda" o de dónde proviene la expresión. ¿Alguien puede explicar los orígenes del
La definición del conjunto de operaciones permitidas utilizadas para el cálculo y sus respectivos costos. Algunos ejemplos de modelos incluyen máquinas de Turing, funciones recursivas, cálculo lambda y sistemas de producción.
He estado leyendo sobre el cálculo Lambda recientemente, pero extrañamente no puedo encontrar una explicación de por qué se llama "Lambda" o de dónde proviene la expresión. ¿Alguien puede explicar los orígenes del
Soy un estudiante universitario de CS. Entiendo cómo se le ocurrió a Turing su máquina abstracta (modelar a una persona haciendo un cálculo), pero me parece una abstracción incómoda y poco elegante. ¿Por qué consideramos una "cinta" y una cabeza de máquina que escribe símbolos, cambia de estado y...
Estoy de acuerdo en que una máquina de Turing puede resolver "todos los posibles problemas matemáticos". Pero eso se debe a que es solo una representación de la máquina de un algoritmo: primero haga esto, luego haga eso, finalmente obtenga eso. Quiero decir que cualquier cosa que sea solucionable...
En computación cuántica, ¿cuál es el modelo equivalente de una máquina de Turing? Para mí está bastante claro cómo los circuitos cuánticos pueden construirse a partir de puertas cuánticas, pero ¿cómo podemos definir una máquina cuántica de Turing (QTM) que realmente pueda beneficiarse de los...
Al considerar cuán amigable debe ser nuestro programa con múltiples subprocesos, mi equipo se preguntó si hay algo que no se pueda hacer en una CPU de un solo núcleo. Postulé que el procesamiento de gráficos requiere un procesamiento paralelo masivo, pero argumentan que cosas como DOOM se hicieron...
La complejidad del algoritmo está diseñada para ser independiente de los detalles de nivel inferior, pero se basa en un modelo imperativo, por ejemplo, el acceso a la matriz y la modificación de un nodo en un árbol toman O (1) tiempo. Este no es el caso en lenguajes funcionales puros. La lista de...
Clásicamente, hay 3 formas populares de pensar en la computación: la máquina de Turing, los circuitos y el cálculo lambda (lo uso como una trampa para la mayoría de las vistas funcionales). Los 3 han sido formas fructíferas de pensar sobre diferentes tipos de problemas, y diferentes campos utilizan...
¿Qué diferencias y relaciones hay entre los algoritmos aleatorios y los algoritmos no deterministas? De Wikipedia UNA algoritmo aleatorio es un algoritmo que emplea un grado de aleatoriedad como parte de su lógica. El algoritmo generalmente utiliza bits aleatorios uniformes como entrada...
Encontré a continuación la declaración de Alan M. Turing aquí : "La opinión de que las máquinas no pueden dar lugar a sorpresas se debe, creo, a una falacia a la que los filósofos y matemáticos están particularmente sujetos. Esta es la suposición de que tan pronto como se presenta un hecho a la...
Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por lo que puedo decir. Una...
Recientemente en mi clase de CS me presentaron a la máquina de Turing. Después de la clase, pasé más de 2 horas tratando de averiguar cuál es la relación entre una cinta y una máquina. No conocía por completo la existencia de cintas de computadora o cómo interactuaban las cintas y las máquinas...
Por recomendación, vuelvo a publicar esto desde Stack Overflow . Recientemente he estado pensando en el siguiente tema. Considere el código para un estándar "¡Hola, mundo!" programa: main() { printf("Hello World"); } Ahora, casi cualquier cambio en este código lo hará completamente inútil,...
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...
Estoy buscando una explicación sobre cómo se podría probar que dos modelos de cálculo son equivalentes. He estado leyendo libros sobre el tema, excepto que se omiten las pruebas de equivalencia. Tengo una idea básica sobre lo que significa que dos modelos de computación sean equivalentes (la vista...
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...
Sé que las computadoras cuánticas pueden procesar una superposición de todos los estados posibles con un solo paso a través de la lógica. Eso parece ser lo que las personas señalan como lo que hace que las computadoras cuánticas sean especiales o útiles. Sin embargo, después de haber procesado...
Escuché que la interacción del lema es más poderosa que los algoritmos de Peter Wegner . La base de la idea es que una máquina de Turing (clásica) no puede manejar la interacción, es decir, la comunicación (entrada / salida) con el mundo exterior / entorno. ¿Cómo puede ser esto así? ¿Cómo puede...
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,...
¿Qué operaciones deben realizarse para realizar cualquier cálculo analógico arbitrario ? ¿Serían suficientes la suma, la resta, la multiplicación y la división? Además, ¿alguien sabe exactamente qué problemas son manejables con el cálculo analógico, pero no con el
Al desarrollar algoritmos en computación cuántica, noté que hay dos modelos principales en los que se hace esto. Algunos algoritmos - como para el problema del árbol de Hamilton NAND (Farhi, Goldstone, Guttman) - trabajo mediante el diseño de un hamiltoniano y un estado inicial y, a continuación,...