¿Qué significa “Turing completo”?
En teoría informática, se dice que un sistema es “Turing complete” si puede utilizarse para emular una máquina de Turing, que es una construcción teórica diseñada por el matemático e informático de mediados de siglo Alan Turing.
Diccionario Techopedia: La máquina de Turing completa
La máquina de Turing se compone de tres elementos teóricos: un conjunto limitado de estados, una cantidad infinita de memoria y una función de transición. Con estos atributos, la máquina de Turing representa ciertos límites de la computación tradicional.
Teniendo esto en cuenta, se dice que muchos lenguajes de programación modernos y algunas bases de código son Turing completos porque pueden cumplir los mismos principios de computación señalados en la teoría de Turing. Sin embargo, se aplica un tecnicismo: dado que ninguno de estos sistemas tiene una cantidad infinita de almacenamiento, no se puede decir que sean Turing completos en su totalidad.
Se mida como se mida, la idea de la completitud de Turing es útil en la teoría informática moderna, pero completamente independiente de la Prueba de Turing, que es la idea de Turing de evaluar si las tecnologías pueden simular la inteligencia humana de forma eficaz.