Autómatas y lenguajes formales

Fase 1 – Pre-saberes

Andrés Mauricio Triana Reina

Presentado a: Jheimer Julian Sepulveda

Universidad UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI
Ingeniería de sistema
Bogotá D.C
Febrero del 2019
Tabla de contenido

1. Introducción...........................................................................................................2
2. Objetivo..................................................................................................................3
3. Desarrollo...............................................................................................................5
a. Actividad 1:............................................................................................................5
b. Actividad 2:............................................................................................................7
c. Actividad 3:............................................................................................................8
4. Referencias.............................................................................................................9
 1. Introducción

El siguiente documento contiene el desarrollo de la fase 1 de autómatas y lenguajes

formales, enfocadas a los presaberes del curso.
 2. Objetivo

Realizar las actividades enfocadas a los presaberes de autómatas y lenguajes formales

 3. Desarrollo

a. Actividad 1:

Realizar una línea del tiempo que permita observar la historia y evolución de la teoría de
autómatas y lenguajes formales, se debe tener en cuenta los orígenes, los precursores y los
distintos campos en los que repercute esta área del conocimiento (Ingeniería, lenguajes y
gramáticas, matemáticas y computabilidad) y aplicación directa de las ciencias
computacionales:

Desarrollo:

Timeline realizado en timetoast link:

https://www.timetoast.com/timelines/1947680

La información de colocada en el timeline se encuentra en la sigueinte tabla

Linea de tiempo

Año Hecho historico

1300 A.C Creación del abaco

Blaise Pascal: La pascalina fue la primera calculadora que funcionaba a base de ruedas y
1642
engranajes, inventada en 1642

Basile Bouchon y Jean-Baptiste Falcon: las tarjetas perforadas fueron usadas por primera vez
alrededor de 1725 por Basile Bouchon y Jean-Baptiste Falcon como una forma más robusta de
1725
los rollos de papel perforados usados en ese entonces para controlar telares textiles en
Francia

1855 Joseph Marie Jacquard : Mejoro el uso de tarjetas perforadas en su telar de Jacquard en 1855

Charles Babbage: diseño la maquina analitica de un computador moderno de uso general. Fue
1871 inicialmente descrita en 1837, aunque Babbage continuó refinando el diseño hasta su muerte
en 1871 fue basada en la maquina de telar de Jacquard
 Linea de tiempo

Año Hecho historico

Turing: desarrollo una máquina abstracta denominada Máquina de Turing para el estudio de
1930
la computabilidad

Kurt Godel: su teorema de la incompletitud "todo sistema de primer orden consistente que
1931 contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo no es
completo"

Kleene: Kleene demuestra formalmente la equivalencia entre funciones definible y funciones

1936 re cursivas de Hembrand-Godel y da ejemplo de problemas irresolubles utilizando la noción
de función recursiva

Church: propuso la noción de función definible como función efectivamente calculable. la

1936 demostración de teoremas se convierte en una transformacional de una cadena de símbolos
en otra

E. Post: este estaba interesado en marcar la frontera entre lo que se puede hacer en
matemáticas simplemente por procedimientos formales y lo que depende de la comprensión
1936
y el entendimiento. de esta forma, Post formula un modelo de procedimiento efectivo a
través de los llamado sistema deductivos normales

Turing: señalo que había tenido éxito en caracterizar de un modo matemático preciso, por
1936 medio de sus maquinas, la clase de las funciones calculables mediante un algoritmo, lo que se
conoce hoy como TESIS DE TURING

McCullon y Pitts: Describen los cálculos lógicos inmersos en un dispositivo que habían
diseñado para simular la actividad de una neurona biológica. el dispositivo recibía o no, una
1943
serie de impulsos eléctricos por sus entradas que se ponderaban y producían una salida
binaria. las salidas y entradas se podían considerar como cadenas de 0 y 1

C. Shannon: define los fundamentos de la teoría de la información, y utiliza esquemas para

1948 poder definir sistemas discretos, parecidos a los autómatas finitos, relacionándolos con
cadenas de Markow, para realizar aproximaciones a los lenguajes naturales

J. Von Neumann: introduce el termino de teoría de autómatas y dice sobre los trabajos de
McCulloch-Pitts " el resultado mas importante de McCulloch-Pitts es que cualquier
1948 funcionamiento en este sentido, que pueda ser definido en todo, lógicamente, estrictamente
y sin ambigüedad, en un numero finito de palabras, puede ser realizado también por una tal
red neuronal formal
 Linea de tiempo

Año Hecho historico

1950 N. Chomsky: inicia el estudio formal de las gramáticas

Kleene: realiza un informe sobre los trabajos de McCulloch-Pitts que se publica en 1956. En
este informe Kleene demuestra la equivalencia entre lo que el llama "dos formas de definir
1951
una misma cosa", que son los sucesos regulares ,es decir expresiones regulares, y sucesos
especificados por un autómata finito

C. Shannon: propone tres modelos para la descripción de lenguajes, que son la base de la
1956 futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes
de programación

COBOL: fue creado en el año 1959 con el objetivo de crear un lenguaje de programación
1959
universal que pudiera ser usado en cualquier ordenador

Rabin y Scott: obtienen un modelo de computador con una cantidad finita de memoria, al que
llamaron autómata de estados finitos. demostraron que su comportamiento posible era
1960
básicamente el mismo que el descrito mediante expresiones regulares, desarrolladas a partir
del trabajo de McCulloch y Pitts

b. Actividad 2:

Realizar un resumen, ensayo o relatoría (El estudiante selecciona uno a trabajar) sobre Alan
Turing y la máquina enigma, existen varios documentales y películas que cuentan esta
historia, adicional pueden realizar búsquedas en la biblioteca virtual de la universidad sobre
el tema.

Desarrollo:

Ensayo:

Una manzana envenenada, que sirvió como inspiración para el símbolo de una gran
empresa, esta basada en Alan Turing y su trágica muerte. Él, quien fue un gran matemático,
lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de
ultradistancia británico, dejo grandes aportes para la humanidad como Tesis Church-
Turing, La máquina de Turing, Test de Turing y descifrando la maquina enigma durante la
segunda Guerra Mundial.
Cuando Alemania invadió a Polonia el 1 de septiembre de 1939, se dio comienzo a la
segunda guerra mundial, convirtiéndose en una de las guerras mas devastadoras para la
humanidad, en esta epoca Alan Turing ya estaba trabajando para el Government Code &
Cypher School (GC&CS), el Servicio de Inteligencia británico con el fin de descifrar las
comunicaciones militares de Alemanas con su código secreto que llamaban Enigma, de
acuerdo a los aportes realizados por Polonia antes de ser invadida.

Según el país (2013) La maquina Enigma tenían un funcionamiento complejo, estaba

formada por tres componentes conectadas por cables que combinados constituían una
compleja máquina para cifrar: Un teclado para escribir cada letra del texto en claro; una
unidad modificadora formada por tres rotores, un clavijero y un reflector; y un tablero
donde quedaba iluminada la letra cifrada1

Antes del estallido de la guerra, el GC&CS británico se reunió con el Servicio de

Inteligencia polaco, que también estaba intentando desentrañar el código Enigma. A partir
de la información recibida, Turing empieza a trabajar con otro enfoque, mejorando el
método polaco, para ello el matemático diseñó junto a su colega de Cambridge, Gordon
Welchman, su propia máquina para contrarrestar la potencia de Enigma, la llamada
‘bomba’.

Alan se enfoco en descifrar los mensajes de las comunicaciones de submarinos alemanes y

esto se debe por que Inglaterra fue la única nación de Europa que no fue derrotada por
Alemania y dicho país se enfocaba en destruir las naves que llevaban suministros a Gran
Bretaña desde EE. UU.

Era de vital importancia que estos mensajes fueran descifrados para pelear a la par con
Alemania y fue justamente al trabajo realizado por Alan que las naves hundidas pasasen en
el años 1942 de 1.155 embarcaciones caídas a la mitad en el año siguiente.

Algunos historiadores estiman que las informaciones descifradas acortaron la guerra en dos
años. Según El Diario (2014) ciertas comunicaciones demostraron que los alemanes
confiaban en muchos de los agentes doble que los aliados habían infiltrado en el espionaje
alemán (Abwehr), con lo que resultó más fácil llevar a cabo misiones de contraespionaje2

La contribución de Alan Turing al fin de la segunda guerra mundial fue fundamental para
los resultados que arrojo, si el no hubiera participado los resultados de esta guerra seria
diferente. Además, realizó aportes a las matemáticas, lógica, ciencia de la computación,
criptógrafia.

c. Actividad 3:

El estudiante busca 3 palabras que considera importantes para los temas estudiados
anteriormente y que no se encuentran en el glosario. Debe agregar el nombre, la definición
técnica y la referencia bibliográfica según normas APA

1
https://blogs.elpais.com/turing/2013/06/alan-turing-el-descifrado-de-la-maquina-enigma.html
2
https://www.eldiario.es/turing/criptografia/alan-turing-enigma-codigo_0_226078042.html
Desarrollo:

Criptoanálisis: Según Ibiblio (2013) El criptoanálisis es la ciencia opuesta a la criptografía

(quizás no es muy afortunado hablar de ciencias opuestas, sino más bien de ciencias
complementarias), ya que si ésta trata principalmente de crear y analizar criptosistemas
seguros, la primera intenta romper esos sistemas, demostrando su vulnerabilidad: dicho de
otra forma, trata de descifrar los criptogramas. El término descifrar siempre va acompañado
de discusiones de carácter técnico, aunque asumiremos que descifrar es conseguir el texto
en claro a partir de un criptograma, sin entrar en polémicas de reversibilidad y solidez de
criptosistemas3

Axiomas: Según significados (2016) son verdades incuestionables universalmente válidas y

evidentes, que se utilizan a menudo como principios en la construcción de una teoría o
como base para una argumentación4

Autómata: Según definiciones (2016) La primera acepción que menciona el diccionario de

la Real Academia Española (RAE) del término autómata alude al dispositivo que cuenta
con un mecanismo interno que le permite realizar ciertos movimientos o desarrollar
determinadas tareas5

4. Referencias

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. (pp. 127 - 142). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 - 124).

Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315

Ibiblio (2013) Criptoanálisis. Referenciado de:

https://www.ibiblio.org/pub/linux/docs/LuCaS/Manuales-LuCAS/doc-unixsec/unixsec-
html/node310.html

Significados (2016) Axiomas. Referenciado de: https://www.significados.com/axioma/

Definicion (2016) Autómata. Referenciado de: https://definicion.de/automata/

3
https://www.ibiblio.org/pub/linux/docs/LuCaS/Manuales-LuCAS/doc-unixsec/unixsec-html/node310.html
4
https://www.significados.com/axioma/
5
https://definicion.de/automata/