Diferencia entre revisiones de «Turing completo»
Contenido eliminado Contenido añadido
m Bot:Desambiguación asistida: Hipótesis - Cambiando enlace(s) para hipótesis (método científico) |
mSin resumen de edición |
||
Línea 1:
{{otrosusos|Turing (desambiguación)}}
En la teoría de [[computadora]]s reales e [[Máquina virtual|imaginarias]], 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 [[
Aún cuando es físicamente imposible que existan estas máquinas debido a que requieren de almacenamiento ilimitado y probabilidad cero de falla, de forma coloquial la completitud de Turing se atribuye a máquinas físicas o lenguajes de programación que podrían ser universales si tuvieran almacenamiento infinito y fueran absolutamente fiables. La primera de esas máquinas apareció en [[1941]]: la [[Z3]] de [[Konrad Zuse]], que era controlada por programas. Su universalidad, sin embargo, fue [http://www.zib.de/zuse/Inhalt/Kommentare/Html/0684/universal2.html demostrada] mucho después por [[Raúl Rojas]] en [[1998]]. En ese sentido laxo, todas las computadoras modernas son también Turing completas.
|