Maquinas de Turing

Concepto
 La máquina de Turing, presentada por Alan Turing en 1936, es el
modelo matemático de un dispositivo que se comporta como un
autómata finito y que dispone de una cinta de longitud infinita en la
que se pueden leer, escribir o borrar símbolos.
Línea del tiempo
Charles Babbage – Maquina Diferencial (1812)

El inventor y matemático británico Charles

Babbage comienza a desarrollar su máquina
diferencial, un aparato capaz de realizar
cálculos matemáticos sencillos. Esta máquina se
considera una predecesora directa de los
modernos dispositivos de cálculo.
Charles Babbage – Maquina Analítica (1816 - 1871)

El inventor y matemático británico Charles

Babbage comienza a desarrollar su máquina
analítica, que no se acabó de construir. Esta
máquina incluía muchas de las características de
un ordenador moderno, por lo que hubiera sido
una auténtica computadora programable.
(Programación a base de tarjetas perforadas(Ada
Lovelace)).
Hermann Hollerith - Maquina Tabuladora (1889)

Desarrolla un método de codificación de datos en

fichas o tarjetas en las que se inscriben datos
numéricos o alfabéticos mediante perforaciones.
Este sistema de tarjetas perforadas resulta ser de
gran utilidad en trabajos estadísticos y un paso
muy importante en el desarrollo de los
ordenadores o computadoras digitales.
(Hermann funda su empresa y se fusiona con otra,
al final de 1890 la empresa se llamo IBM )
Vannevar Bush - Analizador diferencial (1918)

Se inventa el analizador diferencial, un aparato

para resolver rápida y automáticamente
problemas matemáticos, precursor del moderno
ordenador o computadora.
Alan Turing – Máquina de Turing (1936)

El matemático británico Alan M. Turing

introduce el concepto teórico de un
dispositivo de cálculo que hoy se conoce
como la máquina de Turing, importante en
el desarrollo de las computadoras digitales
modernas.
Personajes
 Alan Turing
Nace en Londres, 23 de junio de 1912

Fue un matemático, lógico, científico de la

computación, criptógrafo, filósofo, maratoniano
y corredor de ultra distancia británico

Es considerado uno de los padres de la ciencia de

la computación y precursor de la informática
moderna.

Proporcionó una influyente formalización de los

conceptos de algoritmo y computación:
La máquina de Turing
 Maquina de Turing

Es un modelo matemático consistente en un autómata que es capaz de

“implementar cualquier problema matemático expresado a través de un
algoritmo”.

A pesar de esta definición tan complicada, en realidad la máquina de Turing

destaca por su simplicidad pues manipula símbolos sobre una tira de cinta
siguiendo una serie de reglas.

La máquina de Turing es considerada un autómata con la capacidad de

reconocer lenguajes formales de acuerdo a la jerarquía de Chomsky, razón
por la cual es muy superior a otros autómatas como el autómata con pila o el
autómata finito.
Dato Curioso

 1920 Enigma
 1932 Hitler Gana, Marian Rejewski desifra los codigos.
 1938 Marian Rejewski diseña Bombe
 1939 Alan turing, Gordon welchman y
Harold Keen construyen Bomba (Decifra codigos nazis de Enigma)