Alberto Hernández Montoya

Máquina de Turing

Turing Fue un científico y es considerado uno de los padres de la ciencia de la

computación. Es el precursor de la informática moderna.
En 1920 se crea enigma, una máquina que encriptaba mensajes, para después
ser usado en 1932 en la segunda guerra mundial por los nazis. En el mismo año
Marian Rejewski y su equipo polaco ya habían empezado con el trabajo de
decodificar los mensajes, aunque no por completo, y fue hasta 1938 que Rejewski
estaba diseñando una máquina para des encriptar los códigos de enigma, pero
tiempo después los nazis invadieron Polonia y tuvieron que ir junto con sus plano y
avances a Francia a pedir ayuda, para que después estos planos llegasen a Alan
Turing y su equipo (quienes por su parte también ya tenían grandes avances para
des encriptar los códigos) empezaran a analizar, mejorar y armar dicha máquina,
siendo este gran avance una gran aportación para que acabase la guerra y dando
inicio a los principios de la computación que conocemos hoy en día.

Tesis de Turing-Church
La tesis de Turing-Church demostró que no existe algoritmo general capaz de
decidir si una fórmula es un Teorema, esto, por lo que entendí, se refiere que aun
dando teoremas a un programa no nos podrá decir si una fórmula es o no
verdadera, es decir, no existe ningún dispositivo de verdad o abstracto que sea
capaz de resolver todos los problemas de decisión imaginables en matemáticas.
La tesis Church-Turing hace referencia a la noción de una
método efectivo o mecánico en lógica y matemáticas. "Efectivo" y su sinónimo
"mecánico" son términos cambiantes en estas disciplinas: no mantienen su
significado siempre. Un método, o procedimiento, M, para alcanzar algún resultado
deseado se denomina "efectivo" o "mecánico" cuando:
1. M es expresado en términos de un número finito de instrucciones exactas
(cada instrucción es expresada por medio de un número finito de símbolos); 
2. M debe, si no se produce ningún error, producir siempre el resultado deseado
en un número finito de pasos; 
3. M puede (en la práctica, o en principio) llevarse a cabo por un ser humano sin
la ayuda de ninguna máquina, simplemente con papel y lápiz; 
4. M no requiere ningún tipo de comprensión ni de ingenio por parte del humano
que intenta resolverlo
La tesis Church-Turing consiste en la aserción de que este conjunto contiene toda
función cuyos valores pueden obtenerse por un método que satisfaga las
anteriores condiciones de eficacia. (Ciertamente, si las funciones del predicado
informal, pero no del predicado formal, fueran verdaderas, entonces el más
 Alberto Hernández Montoya

reciente sería menos general que el anterior y por tanto no sería razonable
reemplazarlo).
Un algoritmo debe ser legible: El texto que lo describe debe ser claro, tal que
permita entenderlo y leerlo fácilmente.

¿Cómo se determina que un problema es computable?

Es aquella abstracción de la realidad que tiene presentación algorítmica.
Decimos que un algoritmo para resolver un problema es computable si al correrlo
en una máquina de Turing para en algún instante de tiempo y si nunca para es
incomputable.

¿Cómo se relaciona el lenguaje con la capacidad de

solución de problemas de una máquina?
El lenguaje es indispensable para que una maquina pueda entender lo que
tratamos de decirle que haga, cada máquina puede que tenga su propio lenguaje,
sus propios símbolos que esta pueda reconocer, al igual que nosotros, las
maquina necesitan su propio lenguaje para interpretar las instrucciones que le
estamos pidiendo que haga para que devuelvan una respuesta a estas
instrucciones en el lenguaje que estas máquinas entiendan, sin el lenguaje
simplemente no funcionarían las maquinas pues no tienen como interpretar
nuestras instrucciones.
 Alberto Hernández Montoya

Diagrama De La Máquina Turing