Turing completo

Definición - ¿Qué significa Turing Complete?

Se dice que un sistema es "Turing completo" en la teoría informática si se puede utilizar para emular una máquina de Turing, que es una construcción teórica diseñada por el matemático y científico informático de mediados de siglo Alan Turing.

Techinfo explica Turing Complete

La propia máquina de Turing se compone de tres componentes teóricos: un conjunto limitado de estados, una cantidad infinita de almacenamiento 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 completas porque pueden lograr los mismos principios de computación señalados en la teoría de Turing. Sin embargo, se aplica un tecnicismo: debido a que ninguno de estos sistemas tiene una cantidad infinita de almacenamiento, no se puede decir realmente que ninguno de ellos sea Turing completo en total.

Independientemente de cómo se mida, la idea de la completitud de Turing es útil en la teoría informática moderna, pero está completamente separada de la prueba de Turing, que es la idea de Turing de evaluar si las tecnologías pueden simular la inteligencia humana de manera efectiva.