turing-complete

5El calor

2Respuesta

¿La metaprogramación del preprocesador C++ es Turing-completa?

Sé que la metaprogramación de plantillas C++ es Turing-completa. ¿Lo mismo vale para la metaprogramación de preprocesador?

c++ c-preprocessor metaprogramming turing-complete preprocessor-meta-program 2011-09-22

---

8El calor

2Respuesta

Buscando idiomas que no están completos Turing

Sé un poco sobre lo que es un turing-machine y un idioma, pero para entender mejor, ¿alguien podría dar ejemplos de idiomas que no están completos? (tal vez incluso las máquinas que no son Turing, tam

computer-science turing-machines turing-complete 2010-08-30

---

5El calor

2Respuesta

¿Cómo funciona esta implementación de la regla 110 de turing-complete en HTML5 + CSS3?

Esta mañana, me encontré con la siguiente implementación de la Regla 110 en HTML5 + CSS3 puro (sin javascript). Presiona tab y espacio en secuencia para ejecutar el autómata. http://elilies.com/rule11

html5 css3 turing-complete cellular-automata 2011-03-18

---

9El calor

4Respuesta

Criterios para determinar si se trata de un lenguaje de programación

¿Cuáles son los critera o las características básicas que se requieren para decirle que X o Y es (o ¿no) un lenguaje de programación? que he hecho alguna lectura (Is HTML considered a programming lang

programming-languages turing-complete 2011-01-31

---

9El calor

7Respuesta

¿Es la ramificación condicional un requisito de Turing-completitud?

He estado buscando en la web y estoy encontrando respuestas algo contradictorias. Algunas fuentes afirman que un lenguaje/máquina/lo que-tiene-usted es Turing completo si y solo si tiene tanto ramific

branch computer-science theory turing-complete 2010-10-27

---

8El calor

2Respuesta

Turing la integridad del cálculo lambda?

¿Cómo defiendes el hecho de que el cálculo lambda es Turing completo (de la manera más simple posible)?

theory turing-machines turing-complete computability 2012-03-08

---

50El calor

2Respuesta

El sistema de tipos en Scala es Turing completo. ¿Prueba? ¿Ejemplo? Beneficios?

Existen reclamos de que el sistema de tipos de Scala está completo. Mis preguntas son: ¿Hay alguna prueba formal de esto? ¿Cómo se vería un simple cálculo en el sistema de tipo Scala? ¿Esto es benefic

language-agnostic scala type-systems turing-complete 2010-10-28

---

24El calor

1Respuesta

¿Qué propiedad del sistema de tipos de Scala hace que sea Turing-complete?

Scala usa un sistema de tipos basado en el Sistema F ω, que normalmente se dice que se está normalizando fuertemente. La fuerte normalización implica la completitud no-Turing. Sin embargo, el sistema

scala types language-design type-systems turing-complete 2011-12-13

---

5El calor

2Respuesta

Conjunto de instrucciones alfanumérico x86 de Turing Completo (Subconjunto)

Estoy buscando crear un subconjunto computacional universal mínimo de códigos de operación x86 alfanuméricos. Eventualmente quiero que el subconjunto contenga la menor cantidad de instrucciones posibl

x86 alphanumeric opcode turing-complete 2012-05-21

---

12El calor

2Respuesta

¿Mi programa está completo?

Pasé una semana o dos programando un solucionador de lógica simple. Después de haberlo construido, me pregunté si el lenguaje que resuelve es completo o no. Así que codifiqué un pequeño conjunto de ec

haskell turing-complete 2012-06-04

---