UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –

UNAD
Autómatas y Lenguajes Formales

Fase 0: Explorar

Desarrollar la Actividad de Reconocimiento

AUTOMATAS y LENGUAJES FORMALES

PRESENTADO POR

ARGEMIRO CHICO DE LA HOZ

Código: 73.593.948

GRUPO: 301405_1

TUTOR: EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIA BASICA TECNOLOGIA E INGENIERIA

INGENIERIA DE SISTEMAS

CEAD BARRANQUILLA

FEBRERO DE 2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –
UNAD
Autómatas y Lenguajes Formales

ACTIVIDAD 1

MAPA MENTAL SOBRE AUTOMATAS y LENGUAJES FORMALES

2
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –
UNAD
Autómatas y Lenguajes Formales

ACTIVIDAD 2

ENSAYO SOBRE ALAN TURING

INTRODUCCION

(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.

3
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –
UNAD
Autómatas y Lenguajes Formales

DESARROLLO

En tiempo de guerra, las matemáticas para descifrar mensajes secretos son

más importantes que la teoría de juegos. Durante la Segunda Guerra Mundial
los Aliados se dieron cuenta de que, en teoría, la lógica matemática se podía
utilizar la lógica matemática para descifrar los mensajes alemanes si los
cálculos involucrados eran llevados a cabo lo suficientemente rápido.

El reto era encontrar una manera de automatizar las matemáticas, de tal

forma que una máquina pudiera ejecutar los cálculos. La persona que más
contribuyó a este trabajo de desciframiento fue el inglés Alan Turing

En 1938 Turing regresó a Cambridge después de una breve temporada en la

Universidad de Princeton. Había sido testigo de primera de la confusión
generada por los teoremas de indecidibilidad de Gödel y se había
comprometido en la tarea de recoger lo que quedaba del sueño de Hilbert. En
particular, quería saber si había una manera de definir cuáles preguntas son
decidirles y cuáles no, y trató de desarrollar una manera metódica de
contestar esta pregunta.

En esa época las maquinas calculadoras eran en términos prácticos, primitivas

e inútiles a la hora de hacer matemáticas serias, así que Turing basó sus ideas
en el concepto de una máquina imaginaria capaz de realizar cómputos por
toda la eternidad, era todo lo que él necesitaba para explorar sus preguntas
abstractas de lógica. Lo que Turing no sabía era que sin mecanización
imaginaria de preguntas hipotéticas habría de conducir a un importante
avance en la manera de ejecutar cálculos reales en máquinas reales.

4
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –
UNAD
Autómatas y Lenguajes Formales

CONCLUSION

Alan Turing 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.

5
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –
UNAD
Autómatas y Lenguajes Formales

ACTIVIDAD 3

PALABRAS IMPORTANTES

NOMBRE DEFINICION REFERENCIA BIBLIOGRAFICA

COMPUTACION Computación es sinónimo https://www.significados.com/computacion/
de informática. Como tal,
se refiere a la tecnología
desarrollada para el
tratamiento automático de
la información mediante el
uso computadoras u
ordenadores.
INFORMATICA procesamiento automático https://definicion.de/informatica/
de información Mediante
dispositivos electrónicos y
sistemas computacionales.
INGENIERIA La ingeniería es el estudio https://definicion.de/ingenieria/
y la aplicación de las
distintas ramas de la
tecnología. El profesional
en este ámbito recibe el
nombre de ingeniero.