Turing Completo

Fiabilidad

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

Temas relacionados

Margaret Rouse
Experta en tecnología

Margaret Rouse es una galardonada escritora técnica y profesora conocida por su habilidad para explicar temas técnicos complejos a una audiencia de negocios no técnica. Durante los últimos veinte años, sus explicaciones han aparecido en sitios web de TechTarget y ha sido citada como autoridad en artículos del New York Times, Time Magazine, USA Today, ZDNet, PC Magazine y Discovery Magazine. La idea de diversión de Margaret es ayudar a profesionales de TI y negocios a aprender a hablar los idiomas altamente especializados de cada uno. Si tienes una sugerencia para una nueva definición o cómo mejorar una explicación técnica,…