Zusammenfassung der Ressource
Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales.
- (384 a. C - 322 a. C.)
- Aristóteles
- Es reconocido como el
padre fundador de la
lógica y de la biología
- formuló el principio de la no
contradicción un principio clásico de
la lógica y la filosofía
- 1887
- Giuseppe Peano
- publicó su primer libro sobre
lógica matemática
- Este libro fue el primero en usar los
símbolos modernos para la unión e
intersección de conjuntos.
- 1879
- Gottlob Frege
- publicó su revolucionaria
obra titulada
Conceptografía o Escritura
de conceptos.
- fue el primero en distinguir la caracterización
formal de las leyes lógicas de su contenido
semántico
- 1946
- se desarrolló la primera
computadora digital
- estas máquinas ejecutaban
instrucciones consistentes en
códigos numéricos
- se denominó lenguaje
máquina
- 1930’s
- Alan Turing
- Creó la Maquina de
Turing
- Publicó el artículo "sobre los
numeros calculables"
- Desarrollo el teorema de Gödel y puede considerarse el
origen de la informática teórica
- 1940’s y 1950’s
- Se desarrollan
maquinas Simples
- fueron conocidas como
autómatas finitos
- para moldear el funcionamiento del cerebro.
- 1943
- La neurona de McCulloch-Pitts
- Unidad de cálculo que intenta
modelar el comportamiento de una
neurona "natural"
- establecio autómatas finitos
equivalentes a células
- 1950
- Noam Chomsky
- comienza el estudio formal de las
gramáticas (generadoras de lenguajes)
- creador de la jerarquía de Chomsky
- clasificación de lenguajes formales
en teoría de la computación.
- John Backus
- Investigó el Lenguaje Algebraico.
- 1952
- Grace Hopper
- Escribió el primer compilador
- lenguaje de programación A-0
- 1954
- Creacion de FORTRAN
- lenguaje que permitía escribir
fórmulas matemáticas
- traducible por un ordenador
- 1956
- Claude Shannon
- Aplicó la lógica matemática para el análisis de
circuitos combinatorios
- Stephen Kleene
- creador de la teoría de
la recursividad
- Aportó a sentar las bases de la
ciencia de la computación teórica
- Edward F. Moore
- fue el primero en utilizar el tipo
de máquina de estados finitos
- 1960's
- Los autómatas programables se introducen por
primera vez en la industria
- 1969
- Stephen A. Cook
- extiende el estudio de Turing
- 1973
- Las funciones de comunicación comenzaron a
integrarse en los autómatas
- 1980
- intento de estandarización de las
comunicaciones con el protocolo MAP