Revisión del 03:04 11 oct 2016 editar Alejandrocaro35 (discusión · contribs.) 77 016 ediciones →‎Ejemplos ← Ir a diferencia anterior		Revisión del 03:11 11 oct 2016 editar deshacer Alejandrocaro35 (discusión · contribs.) 77 016 ediciones Sin resumen de edición Ir a siguiente diferencia →
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 [[máquina ~~universal~~ de Turing universal]]. En otras palabras, el sistema y la máquina universal de Turing pueden emularse entre sí. 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 demostrada mucho después por [[Raúl Rojas]] en [[1998]].<ref>[http://web.archive.org/web/http://www.zib.de/zuse/Inhalt/Kommentare/Html/0684/universal2.html \| Link a paper (en ingles)]</ref> En ese sentido laxo, todas las computadoras modernas son también Turing completas.

Diferencia entre revisiones de «Turing completo»