AUTOMATAS Y LENGUAJES FORMALES

FASE 0 - EXPLORAR. DESARROLLAR LA ACTIVIDAD DE RECONOCIMIENTO

PRESENTADO A:
EDGAR ANTONIO CORTES

PRESENTADO POR:
JUAN PABLO AYALA ORTIZ
Cod: 1.110.507.132

GRUPO:
301405_27

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS DE TECNOLOGIA E INGENIERIA
SEPTIEMBRE DE 2017
IBAGUE - TOLIMA
 Publica un documento sobre
Sugirió la idea de adaptar lenguajes formales basados en
tarjetas perforadas a la operaciones aritméticas.
máquina de Babbage para Establece las bases Lo uso para codificar
Utilizo por primera que se repitieran ciertas de la automática, arbitrariamente sentencias y
Inventor de la vez el sistema de operaciones, creo lo que plantea la pruebas formales, y mostro
Realizo la primera Pascalina, en problemática en la
tarjetas perforadas Lovelace llamo Notas, y Crea la primera que los sistemas formales,
calculadora esta máquina inteligencia
para controlar el describe con detalle las máquina lógica en como las matemáticas
mecánica los datos se artificial y la
dibujo formado por operaciones mediante las usar el álgebra de tradicionales son
incorporando los representaban aritmética en coma
hilos de las telas cuales las tarjetas Boole para resolver inconsistentes en cierto
logaritmos de mediante las flotante en sus
confeccionadas por perforadas "tejerían" una problemas más sentido, o que contienen
Napier, esta hacia posiciones de ensayos sobre
una máquina de secuencia de números en rápido que sentencias improbables pero
Invento el algoritmo. rodar cilindros. los engranajes. tejer. la máquina analítica. humanos. automática. ciertas.

Musa Al-Juarismi Wilhem Schickard Blaise Pascal Joseph Jacquard Augusta Lovelace William S. Jevons Leonardo Torres Q. Kurt Gödel

780 – 850 D.C. 1617 1623 1624 1645 1777 1801 1822 - 1837 1843 1854 1869 1906 1906 1930 1931 1936

John Napier William Oughtred Charles Stanhope Charles Babbage George Boole Lee de Forest Vannevar Bush Alan Turing

Inventor del Logaritmo, Primera regla Diseño la Desarrolló un Inventa el tubo de Construyo una Diseño y creo un dispositivo
desarrollo el sistema de deslizante llamada Inventa la primera máquina sistema de reglas que vacío, el Audion maquina diferencial que manipula símbolos
operaciones aritméticas también círculos de máquina lógica, el analítica, que es le permitían como era su nombre, parcialmente sobre una tira de cinta de
manipulando barras de proporción, era un demostrador lógico. el diseño de un expresar, manipular tenía tres elementos electrónica, capaz de acuerdo a una tabla de
hueso o marfil en los que juego de discos Era un aparato de computador y simplificar dentro de una resolver ecuaciones reglas. A pesar de su
estaba plasmado dígitos, a rotatorios que se bolsillo que resolvía moderno de uso problemas lógicos y bombilla evacuada. diferenciales. simplicidad, una máquina de
este sistema se le llamo el calibraron con los silogismos general, esta filosóficos cuyos Este invento Turing puede ser adaptada
Abaco Neperiano y tuvo una logaritmos de Napier, tradicionales y máquina argumentos admiten encontraría uso en para simular la lógica de
fuerte influencia en el se utilizó como uno de preguntas represento un dos estados varias generaciones cualquier algoritmo de
desarrollo de la regla los primeros aparatos elementales de paso (verdadero o falso) temprana de 5 computador y es
deslizante y las maquinas de la informática probabilidad. importante en por procedimientos computadoras a particularmente útil en la
calculadoras que contaban analógica. la historia de la matemáticos. comienzos de los explicación de las funciones
con logaritmos. informática. años 30. de una CPU dentro de un
computador.
 ALAN TURING Y LA MÁQUINA ENIGMA

Alan Turing fue un matemático británico nacido el 23 de junio de 1912 y muerto el 7 de julio de 1954, se
le considera el padre del computador porque fue pionero en inteligencia artificial y por sus múltiples
investigaciones y creaciones de máquinas automatizadas, una de ellas fue la Bombe, maquina creada y
diseñada por el mismo para romper las codificaciones de la reconocida maquina encriptadora de
mensajes nazi: la maquina enigma.

Desde pequeño fue un genio para las matemáticas, en su escuela Sherbone School, gano todos los
premios en matemáticas que se ofrecieron durante su estancia allí, al salir de la escuela y luego de dos
años intentando la obtención de una beca, en 1931 pudo seguir estudiando en el King’s College of
Cambridge para estudiar matemáticas, fue en esta universidad donde empezó a interesarse por la lógica
matemática leyendo a Bertrand Rusell y Von Newmann, se graduó en 1934 y tras un periodo en estados
unidos, volvió a Cambridge en 1938 donde fue llamado por el gobierno británico y el ejército para
intentar resolver los código enigma de los Nazis y así poder acortar el tiempo de la guerra y muchas vidas
humanas

Un factor que dotaba a Enigma de una gran complejidad era que las componentes de la máquina que el
ejército alemán usaba no siempre eran las mismas en todas las zonas o áreas. Así, las máquinas de la
marina, las más sofisticadas, tenían 8 rotores distintos y el reflector podía colocarse según 26
orientaciones distintas. Estas dificultades añadidas hacían que el equipo de Alan Turing aún no pudiera
descifrar los mensajes que se transmitían por radio los submarinos alemanes y que contaban con una
clara ventaja en la batalla del Atlántico.

El trabajo de Turing resultó de vital importancia, ya que durante la Segunda Guerra Mundial desarrolló,
junto con W.G. Welchman, una máquina llamada Bombe que a finales de 1940 descifraba todos los
mensajes enviados por las máquinas Enigma de la Luftwaffe alemana. Además, pese a que los mensajes
de las máquinas Enigma de la armada alemana eran mucho más difíciles de descifrar, gracias en buena
parte al empeño de Turing, en 1941 se consiguió descifrarlos. Estos dos hechos fueron uno de los logros
con los que se consiguieron salvar más vidas humanas a lo largo de la guerra.

Los trabajos de los criptoanalistas en Bletchley Park, (lugar donde se realizaban las operaciones de
desencriptación) conocidos también como Inteligencia Ultra, fueron determinantes pues para acortar la
guerra. La mansión y los barracones de Bletchley llegaron a contar con casi 10000 personas que
trabajaban en distintos turnos y a disponer de más de 200 bombas. No obstante, después de la guerra,
por razones de prudencia y de táctica militar, las bombas se desmantelaron y todos sus logros se
mantuvieron en secreto. A finales de los setenta, el Servicio de Inteligencia británico permitió al capitán
W.F. Winterbotham escribir el libro The Ultra Secret publicado en 1974.

Desafortunadamente, para algunos, como Alan Turing, la publicación del libro llegó demasiado tarde, ya
que murió el 7 de julio de 1954, suicidándose por ingesta de cianuro, luego de un año que se le fuera
juzgado por prácticas de sodomía u homosexualismo, sin tener en cuenta sus logros de vital importancia
para la terminación temprana de la guerra.
 GLOSARIO

Cadena:
Es una secuencia de símbolos que se coloca uno seguido del otro.

Cadena vacía (ε):

Es aquella cadena que no tiene símbolos.

Composiciones:
Conjunto de reglas que se deben usar para la estructuración de las palabras válidas en el lenguaje.

Gramática:
Están integradas por el alfabeto y las composiciones para la estructuración correcta de las palabras validas en un
lenguaje.

Lenguaje natural:
Conjunto de símbolos y reglas para formar palabras, frases y oraciones que se utilizan para la comunicación entre
las personas. Este tipo de lenguajes también se conocen como idiomas, así es el caso del idioma español, francés,
italiano, inglés etc.

Lenguajes formales:
Lenguajes de menor capacidad para simular y modelar lenguajes naturales, como el lenguaje binario, Java, C, Basic
o Pascal que se utilizan en la comunicación con las computadoras.

Programa fuente:
Es aquel que nos permite escribir un algoritmo mediante un lenguaje formal. Por eso al código desarrollado al
programar se le llama código fuente.

Programa objeto:
Es el resultado de traducir un programa fuente para obtener un lenguaje comprensible por la máquina.

Teoría de la complejidad:
Es la parte de la computación que se encarga de analizar la cantidad de recursos necesarios para resolver un
problema como son tiempo y espacio.
 REFERENCIAS BIBLIOGRAFICAS

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=e
s&site=eds-live&ebv=EB&ppid=pp_Cover

 Chorda, Gloria de Antonio. «Metodologia de la Programación.» 39-41. España: Ra-ma, s.f.

 En Lenguaje Ensamblador para Mircrocomputadoras IBM, de J. Terry Godfrey, 73-76. México:

Prentice Hall, 1991.

 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes formales. (pp. 7-
797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6

 Brena, Ramón. (2003). Comunicaciones.unillanos.edu.co. Autómatas y Lenguajes Formales.

Recuperado el 2 de Septiembre 2017, desde:
http://comunicaciones.unillanos.edu.co/docus/Automatas%20Y%20Lenguajes.pdf

 D. Kelley.- Teoría de Autómatas y Lenguajes Formales, Prentice Hall Hispanoamericana, 1995.