AUTOMATAS UY LENGUAJES FORMALES

CÓDIGO: 301405A_614

Unidad 1 – LENGUAJES REGULARES Y SUS MÁQUINAS

Fase 1– PRESABERES

ANGELA MARIA GONZALEZ

Directora de Curso

Entregado por:

SHIRLEY JASBLEIDY CURICO NORIEGA

Código: 41.061.151

Grupo: 301405_67

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

AGOSTO DE 2019
LETICIA- AMAZONAS
 DESARROLLO ACTIVIDAD FASE1- PRESABERES

Ejercicios a desarrollar

OBJETIVO: El estudiante revisa el material requerido para el desarrollo de

la actividad.

- El estudiante presenta respuestas y/o información de los temas

propuestos.
- El estudiante realiza comentarios a los aportes de sus compañeros,
fundamentados en la lectura y análisis de la información.
- Cada estudiante compila sus aportes individuales en un documento en
PDF que presenta en el entorno de aprendizaje colaborativo.

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.
HISTORIA Y EVOLUCIÓN DE LA TEORÍA DE AUTÓMATAS Y LENGUAJES
FORMALES

El Ábaco como lo conocemos hoy en día, apareció

1200 d.c al rededor del 1200 D.C. en China; en Chino, es
llamado suan-pan. Se utilizaba para realizar
transacciones simples, como resta, suma y
multiplicación.

1642 El matemático y filósofo francés Blaise Pascal

inventó en 1642 la primera calculadora mecánica
del mundo. La pascalina es una de las primeras
calculadoras mecánicas, que funcionaba a base
de ruedas y engranajes.

1890 Herman Hollerith desarrolló la tecnología de

procesamiento de tarjetas perforadas de datos
para el censo de los Estados Unidos de América de
1890. Las tarjetas perforadas fueron usadas con
anterioridad por Joseph Marie Jacquard en 1801,
en los telares de su invención, de donde pasó a las
primeras computadoras electrónicas.

La máquina analítica es el diseño de un Computador

moderno de uso general realizado por el profesor
1833 británico de Matemáticas, Charles Babbage, que
representó un paso importante en la historia de la
computación.

Fue inicialmente descrita en 1833, aunque Babbage

continuó refinando el diseño hasta su muerte en
1871.

1879 Friedrich Ludwing Gottlob Frege (1879): publico

Conceptografia (Begriffsschrift), desarrollo la lógica
de primer orden, (operadores and, or, not,
implicación, para-todo, existe), la notación que
utilizaba era bastante complicada.
 Giuseppe Peano (1908), propuso la notación
actual de la lógica y estudio los principios de la
1908 matemática.

Bertrand Rusell y Alfred North Whitehead (1913),

1913 publicaron Principia Mathematica.

David Hilbert (1928), Publica los principios de

lógica teórica (problema de la decisión).
1928

Stephen Kleene (1930), estudia la teoría de

funciones recursivas y desarrolla las expresiones
1930 regulares, realiza estudios en Teorías de
Autómatas.

Kurt Code (1931), Teorema de incompletitud, En

cualquier formalización consistente de las
1931 matematicas.

1936 Alonzo Church (1936): Desarrolla el cálculo lambda

basado en funciones recursivas. (Base de los
lenguajes funcionales). Tesis de Church - Turing
 Claude Elwood Shannon (1948), publica una teoría
Matemática a los circuitos electrónicos y Nacimiento
de la Teoría de la Información.

Máquina de Turing (1936), que operaba en una

serie de instrucciones lógicas, sentando así las
bases del concepto moderno de algoritmo. Ayudo a
descifrar criptoanálisis los códigos secretos
“enigma”, durante la segunda guerra mundial.

Nacimiento de la Informática Teórica.

Claude Elwood Shannon (1948), publica una teoría

Matemática a los circuitos electrónicos y Nacimiento
de la Teoría de la Información.

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.
Para saber que estructura tiene cada uno de los textos académicos
solicitados tener presente el siguiente
autor: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?docID=10458287&ppg=9
Actividad 3:
El estudiante busca 3 libros, revistas, artículos, entre otros en la biblioteca
de la universidad que no se encuentren en las referencias bibliográficas
del syllabus donde se encuentre el tema estudiado anteriormente. Debe
agregar la referencia bajo norma APA. Presenta una síntesis de cada una
de ellas.

BIBLIOGRAFÍA

Santos, M. (2014). Sistemas telemáticos. Introducción a los sistemas telemáticos.

(Páginas. 18 - 26). Madrid, ES: RA-MA Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3228770
&ppg=18

Santos, G. M. (2014). Comunicaciones y Redes de Computadoras. Diseño de

redes telemáticas. (Páginas 18 - 38). Madrid, ES: RA-MA Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3229018
&ppg=18

Santos, G. M. (2014). Medios de Transmisión y sistemas de cableado

estructurado. Diseño de redes telemáticas. (Páginas 80 - 100). Madrid, ES: RA-MA
Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3229018
&ppg=80

Santos, G. M. (2014). Proyecto e Implantación de una Red Telemática. Diseño de

redes telemáticas. (Páginas 225 - 260). Madrid, ES: RA-MA Editorial. Recuperado
de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3229018
&ppg=225