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 . Sin...
Si observamos el teorema de la jerarquía DTIME, tenemos un registro debido a la sobrecarga en la simulación de una máquina de Turing determinista por una máquina universal: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) No tenemos este tipo de gastos...
Arreglemos una codificación sin prefijo de máquinas de Turing y una máquina universal de Turing que en la entrada (codificada como el código sin prefijo de seguido de ) emite salidas de en la entrada (posiblemente ambos corriendo para siempre). Defina la complejidad de Kolmogorov de , , como la...
No puedo pensar en ningún modelo de este tipo, ¿tal vez alguna forma de cálculo lambda mecanografiado? algún autómata celular elemental? Esto casi refutaría el "Principio de equivalencia computacional" de Wolfram: Casi todos los procesos que obviamente no son simples pueden verse como cálculos...
Esta es una reformulación de ¿Son los programas de gramáticas? previamente preguntado por Vag y con muchas sugerencias de los comentaristas. ¿De qué manera puede verse una gramática que especifica un modelo de cálculo? Si, por ejemplo, tomamos una gramática simple sin contexto, como G ::= '1'...
Estoy buscando el combinador universal más pequeño posible , medido por el número de abstracciones y aplicaciones requeridas para especificar dicho combinador en el cálculo lambda . Los ejemplos de combinadores universales incluyen: tamaño 23: λf.f (fS (KKKI)) K tamaño 18: λf.f (fS (KK)) K tamaño...
¿Existen aplicaciones prácticas para los modelos de programación que no sean de von Neumann? ¿Cuáles son los lenguajes de programación no von von Neumann más ampliamente
Greg Egan en su ficción "Dark Integers" (historia sobre dos universos con dos matemáticas diferentes que se comunican mediante la demostración de teoremas de inconsistencia en la aritmética) afirma que es posible construir una computadora de propósito general únicamente en enrutadores de Internet...
Hay un viejo truco para escribir un algoritmo que, si P = NP, resuelve SAT en tiempo polinómico. Esencialmente, uno enumera todas las máquinas de tiempo polinomiales y las tareas múltiples sobre ellas. ¿Existe un truco análogo para las funciones unidireccionales (o incluso las funciones de...
Hay varias nociones diferentes (probablemente no equivalentes) de universalidad computacional (ver, por ejemplo, las últimas dos páginas de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) y no hay consenso entre expertos sobre las nociones más correctas (ver, por ejemplo,...
En el artículo seminal de Bernstein y Vazirani, "Teoría de la complejidad cuántica", muestran que una transformación unitaria dimensional puede ser aproximada eficientemente por un producto de lo que llaman "rotaciones casi triviales" y "cambios de fase casi triviales".rered Las "rotaciones casi...
Robin Gandy fue alumno de Alan Turing . Gandy hizo un análisis del motor analítico de Babbage (ver 'Gandy - La confluencia de ideas en 1936' citado en 'Herken, Rolf - La máquina universal de Turing: una encuesta de medio siglo . Springer Verlag') - y dijo que sí (cf. p. 52–53): Las funciones...
Arreglemos una codificación de máquinas de Turing y una máquina universal de Turing, U, que en la entrada (T, x) emite cualquier salida de T en la entrada x (posiblemente ambas funcionando para siempre). Defina la complejidad de Kolmogorov de x, K (x), como la longitud del programa más corto, p, de...
Estoy buscando fuentes sobre la noción formal de programas. Esto parece estar estrechamente relacionado con la correspondencia de Curry-Howard, pero también podría rastrearse hasta Universal Turing Machines y su capacidad para leer la descripción y la entrada de cualquier TM. Al leer sobre la...