Professional Documents
Culture Documents
El problema de parada
George Cantor (1845-1918) ya haba demostrado que haba muchos ms
reales que naturales, es decir no se pueden poner en correspondencia
biunvoca unos con otros.
La conclusin obvia es que hay reales no computables. Eso ya indicaba que
deba haber problemas no solubles por sus MT.
De hecho encontr el ms paradigmtico, el problema de parada: No existe
una MT que, dada la descripcin de una MT cualquiera (mediante su nmero
nico) y una configuracin inicial de la cinta para dicha MT, determine si la MT
se parar o no ante dicha cinta.
La Mquina de Turing Universal
Turing pens que sus MT capturaban la nocin de procedimiento efectivo,
funcin computable, o simplemente algoritmo.
Cada MT era una mquina especializada en un algoritmo concreto,
determinado por su funcin de control.
Pero Turing fue ms all e ide una mquina universal que era capaz de
emular a cualquier otra: 1 Reciba en su cinta la descripcin de la MT a emular,
convenientemente codificada.
2 Reciba en otra parte de la cinta (o en otra cinta, ya que prob que el nmero
de cintas era indiferente para la potencia de las MTs), los datos tal como los
esperaba la MT emulada. 3 A partir de ah se comportaba como lo hara la MT
emulada ante esos datos.
Si consideramos la descripcin de la MT emulada como el programa, haba
ideado una Mquina Universal programable, con el programa almacenado en
memoria.