Atolladero de turing

Turing quagmire  es un término de argot para los lenguajes de programación que son Turing-completos pero tienen una sintaxis y una semántica extremadamente primitivas. Son inconvenientes para la programación práctica (debido a la dificultad de escribir programas y bajo rendimiento), pero son adecuados para otras tareas (probar la no computabilidad de algunas funciones, ilustrar los principios básicos de la programación, etc.). Por lo tanto, son de interés para la informática . Muchos lenguajes de programación esotéricos también son pantanos de Turing.

Sin embargo, debido a la simplicidad de construcción e implementación, son convenientes para la generación automática de código .

Otras posibles traducciones: pozo de Turing, pozo de alquitrán de Turing. Literalmente: pozo de alquitrán de Turing .

54. Cuidado con los pantanos de Turing, donde se puede hacer de todo, pero nada interesante se puede hacer fácilmente.

Ejemplos

• Lógica combinatoria , especialmente lógica combinatoria binaria
• INTERCAL
• Cálculo lambda sin tipo
• OISC (una máquina cuyo conjunto de instrucciones contiene solo una instrucción como "restar y saltar si el resultado es menor que cero").
• máquina de Turing
• Unlambda
• MISC  - Computación con conjunto mínimo de instrucciones, microprocesadores con un conjunto mínimo de instrucciones

Hay dos tendencias en el desarrollo del atolladero de Turing: reducción de instrucción y reducción de carácter. Resultados:

• Lógica combinatoria binaria: 2 reglas de reescritura de términos, 2 símbolos
• Brainfuck : 8 instrucciones, 8 caracteres
• Iota y Jot : 2 operaciones, 2 caracteres
• OISC : 1 instrucción, 3 caracteres (unario firmado con un separador)
• Jue : 1 instrucción, más de 128 caracteres

Enlaces