CARRERA.

ING. SISTEMAS COMPUTACIONALES

MATERIA.

LENGUAJES Y AUTÓMATAS

TEMA.

VIDA Y OBRA DE ALAN TURING

NOMBRE DEL MAESTRO(A).

MC. LORENA SANTOS ESPINOZA

NOMBRE DEL ALUMNO.

JAVIER FLORES MONTALVO

GRADO.

SEXTO SEMESTRE

INTRODUCCIÓN.

Para poder comprender el concepto de las máquinas de turing es fundamental reconocer los trabajos de Alan Mathison Turing que hoy en día son las bases de la computación moderna es por eso que he agregado una pequeña biografía de Alan Turing y unos conceptos que desde luego creo yo son fundamentales.

¿QUIÉN ES ALAN TURING?

(Alan Mathison Turing; Londres, 1912-Wilmslow, Reino Unido, 1954) Matemático británico. Pasó sus primeros trece años en la India, donde su padre trabajaba en la Administración colonial. De regreso al Reino Unido, estudió en el King’s College y, tras su graduación, se trasladó a la Universidad estadounidense de Princeton, donde trabajó con el lógico A. Church.

Alan Turing

En 1937 publicó un célebre artículo en el que definió una máquina calculadora de capacidad infinita (máquina de Turing) que operaba basándose en una serie de instrucciones lógicas, sentando así las bases del concepto moderno de algoritmo. Así, Turing describió en términos matemáticos precisos cómo un sistema automático con reglas extremadamente simples podía efectuar toda clase de operaciones matemáticas expresadas en un lenguaje formal determinado. La máquina de Turing era tanto un ejemplo de su teoría de computación como una prueba de que un cierto tipo de máquina computadora podía ser construida.

La Segunda Guerra Mundial ofreció un insospechado marco de aplicación práctica de sus teorías, al surgir la necesidad de descifrar los mensajes codificados que la Marina alemana empleaba para enviar instrucciones a los submarinos que hostigaban los convoyes de ayuda material enviados desde Estados Unidos; Turing, al mando de una división de la Inteligencia británica, diseñó tanto los

procesos como las máquinas que, capaces de efectuar cálculos combinatorios mucho más rápido que cualquier ser humano, fueron decisivos en la ruptura final del código.

Definió además un método teórico para decidir si una máquina era capaz de pensar como un hombre (test de Turing) y realizó contribuciones a otras ramas de la matemática aplicada, como la aplicación de métodos analíticos y mecánicos al problema biológico de la morfogénesis. En el ámbito personal, su condición de homosexual fue motivo constante de fuertes presiones sociales y familiares, hasta el punto de especularse si su muerte por intoxicación fue accidental o se debió a un intento de suicidio.

PARA PODER TENER UN SISTEMA FUNDAMENTAL ES NECESARIO CUMPLIR CON 3 REQUISITOS BÁSICOS

QUE SON LOS SIGUIENTES

COHERENCIA. Se entiende que uno no obtendrá jamás una contradicción en

su propio sistema, es decir uno nunca será capaz de seguir las reglas de su sistema y acabar mostrando que dos y dos son 5.

COMPLETITUD. Significa que si cualquier declaración es verdadera, tiene

que haber alguna manera de probarlo utilizando las reglas de su sistema.

DECIBILIDAD. Significa que debe existir algún método, algún procedimiento

definido o de prueba, que se pueda aplicar a cualquier afirmación matemática determinada y que decidiera si esa afirmación es o no demostrable

QUE ES UNA MÁQUINA DE TURING (MT) Es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma. Este modelo está conformado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (Normalmente b, Δ o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados.

CÓMO FUNCIONA LA MÁQUINA DE TURING

Se basa en una función de transición, que recibe un estado inicial y una cadena de

caracteres (la cinta, la cual es finita por la izquierda) pertenecientes al alfabeto de

entrada. Luego va leyendo una celda de la cinta, borrando el símbolo, escribir el

nuevo símbolo perteneciente al alfabeto de salida y finalmente avanza a la

izquierda o a la derecha (solo una celda a la vez), repitiendo esto según se indique

en la función de transición, para finalmente detenerse en un estado final o de

aceptación, representando así la salida.

Conclusión

Alan Turing es considerado como el padre de la computación moderna por los trabajos realizados durante la segunda guerra mundial con la creación de la máquina de turing que gracias a eso logro descifrar “enigma” algunos creen que gracias a su trabajo la guerra se acorto 2 años mientras que otros creen que fue clave para que los aliados ganaran la segunda guerra mundial pero sin duda la máquina de turing es la base teórica de la computación de hoy en día.