Diferencia entre revisiones de «Turing completo»
Contenido eliminado Contenido añadido
m Bot: 8 - Estandarizaciones y otras mejoras automatizadas |
m (Bot) Correcciones ortográficas; cambios superficiales |
||
Línea 3:
En la teoría de [[computadora]]s reales y [[Máquina virtual|virtuales]], de los [[lenguaje de programación|lenguajes de programación]] y de otros sistemas lógicos, un sistema '''Turing completo''' es aquel que tiene un poder computacional equivalente a la [[máquina de Turing universal]]. En otras palabras, el sistema y la máquina universal de Turing pueden emularse entre sí.
La completitud de Turing es significativa, pues, cada diseño verosímil de un dispositivo de computación, por más avanzado que sea (aun las [[computación cuántica|computadoras cuánticas]]), pueden ser emuladas por una máquina universal de Turing. Así, una máquina que pueda actuar como una máquina universal de Turing puede, en principio, hacer cualquier cálculo que ''cualquier'' otra computadora es capaz de hacer (en otras palabras, es programable). Obsérvese, sin embargo, que no dice nada sobre el esfuerzo de escribir un programa para la máquina o sobre el tiempo que puede tomar el cálculo.
|