Preguntas etiquetadas con universal-computation

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 

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(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) No tenemos este tipo de gastos generales para NTIME de DSPACE. Una justificación básica proviene de los detalles …

30 cc.complexity-theory  universal-computation  time-hierarchy 

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 …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

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 de sofisticación equivalente

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

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' -> '0' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

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 14: λf.fKSK tamaño 12: …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

¿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 adoptados?

16 universal-computation  logic-programming 

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 existentes utilizando solo su funcionalidad básica de …

14 computability  universal-computation 

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 trampilla unidireccionales)? Es decir, …

13 universal-computation  one-way-function 

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. …

10 turing-machines  universal-computation  charles-babbage 

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 triviales" son matrices unitarias dimensionales que actúan como …

10 quantum-computing  linear-algebra  universal-computation 

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, http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Estoy tratando de decir algo sobre un modelo particular de computación biomolecular. Me gustaría …

10 universal-computation 

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, …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

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 correspondencia de Curry-Howard, siento que la …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods