Problema de la parada
De Wikipedia, la enciclopedia libre
 |
Este artículo es un miniesbozo sobre matemática en el que falta información esencial. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas. |
El problema de la parada o problema de la detención para Máquinas de Turing consiste en, dada una Máquina de Turing M y una palabra w, determinar si M se detendrá cuando es ejecutada usando w como dato de entrada. Alan Turing, en su famoso artículo "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936), demostró que el problema de la parada de la Máquina de Turing es indecidible.
