Línea de tiempo Autómatas y

Lenguajes Formales
Presentado por: Eliecer Guzman Barrios
1879 Aritmética haciendo la
lógica formal
Friedrich Gottlob publicó una
ideografía que trata de un
conjunto de símbolos y sintaxis
para clarificar las relaciones lógicas
contenidas en el lenguaje
ordinario, le llamó Begriffsschrift.

1887 Uso de símbolos

Giuseppe Piano aportó sobre la
posibilidad de poner todas las
argumentaciones de la lógica de
enunciado y de clases, en un
lenguaje artificial de signos , a
través de implicaciones.

1900 Lógica teórica

David Hilbert publicó los principios
de la lógica teórica y los problemas
de decisión, basado en la teoría en
que era factible hallar un único
1930 -1939 sistemas que se basara en las
En 1930 Stephen Kleene aportó a los matemáticas, a través de axiomas e
fundamentos de la informática inferencias.
teórica, En 1931 Kurt Godel generó
un teorema de lógica matemática y
Alonso Church creo la base de los
lenguajes funcionales. En 1936 Alan
Turing desarrollo la hoy conocida
maquina de Turing. En 1938, Claude
Shannon aporto a la creación de las
bases para el reconocimiento de la
teoría básica de información que
podrían procesas las maquinas.

1940-1949
En 1943, McCulloch Pittsel
estableció autómatas finitos
equivalentes a células. En 1944, se
construyó la primera maquina
computacional conocida como
ENIAC. En 1945, Grace Hopper
genero un manual que abrió paso
1950-1959 al primer lenguaje compilador, y el
En 1956, Noham Chomsky formuló bug como un error de
y desarrolló el concepto de programación.
gramática transformacional y
generativa. En 1959, Jhon Backus
realizo dos grandes aportes: la
notacion que describe la sintaxis y
del desarrollo del FORTRAN, y
Edward Forrest invento la maquina
de estados finitos, siendo pionero
de la vida artificial.
1970
Estephen Cook extendió el trabajo
que había realizado Turing, y
formulo el problema entre las
clases de complejidad P y NP. Este
mismo año nace la
industrialización de los autómatas.

1980
Se desarrollo la comunicación con
los PLC . REFERENCIAS
Teoría de autómatas. (2022, 18 de febrero). Wikipedia, La
enciclopedia libre. Desde https://es.wikipedia.org/w/index.php?
title=Teor%C3%ADa_de_aut%C3%B3matas&oldid=141763921.
Herrera, A (2021). Historia y Evolución de la Teoría de Autómatas y
Lenguajes Formales. Desde
https://www.goconqr.com/es/mapamental/10631292/historia-y-
evolucion-de-la-teoria-de-automatas-y-lenguajes-formales
Interpolados (27 enero de 2017). HISTORIA DE LA TEORÍA DE
AUTÓMATAS. Desde
https://interpolados.wordpress.com/2017/01/31/historia-de-la-
teoria-de-automatas/