Lenguaje y Autómatas 1

Línea tiempo

Semestre - Grupo - Sistema:

8° Semestre – Escolarizado.

Producto Académico:
Línea Tiempo

Presenta:
Gamallo Enríquez Jesús Enrique

Docente:
Francisco Fernando Mayorga Guittins

Georg Cantor-(1845-1918)
Invento la Teoria de
Conjuntos,descubriendo,al mismo
tiempo, algunas paradojas inquietaste.
• 1900
Línea Tiempo
Teoria de la Computabilidad
Turing (1912-1954)Publico el
Alonzo Church-(1903-1995).Utilizo una trabajo "Números computables,una Michael Oser Rabin
notación formal con la finalidad de aplicacion al (1931-?) Surgirio una
transformar todas las formulas Entscheidungsproblem " axiomática que fue base
matemáticas a una forma estándar, pero
Postulando así lo que hoy se para el desarrollo del
solo fue posible la transformacion de una conoce como la "Tesis de Turing" estudio de medidas de
parte de ellos los cuales llamo complejidad de Blum
"Funciones lambda-computables".
• 1936 • 1967
• 1932

Teorema de la incompletita Church demuestra la

de Kurt Godel-(1906- equivalencia entre las Se desarrollo el promer
1978). funciones lambda computador electrónico de
computables y las uso general Eniac
Dice que ningún sistema
• 1943
funciones recursivas de
de primer orden que Herbrand -Godel.
contenga teoremas de
aritmética con axiomas
recursivamente e
• 1936
numerables puede ser
constante y completo a la
vez

• 1931
 Línea Tiempo
Teoria de Autómatas
Claude Elwood Shannon (1916-2001)
vino a establecer las bases para la
aplicación de Lógica Matemática a los
circuitos combinatorios y posteriormente
David A. Huffman los amplió a circuitos
secuenciales. Las ideas de Shannon
se desarrollaron considerablemente,
dando lugar a la formalización de una
El Concepto de autómata finito aparace en el Teoria de las Maquinas Secuenciales
articulo de Warren Sturgis McCulloch (1898- y de los Autómatas Finitos. Kleene abstrajo el concepto de autómata finito
1969) y Walter Pitts (1923-1969) Titulado “A a partir de las redes de neuronas y el concepto
Logical Cakculus of the ideas immanet in
Nervous Activity” • 1956 de expresión regular a partir del cálculo lógico
de modelo de McCullock y pitts.

• 1943 • 1971

Kleene de muestra la equivalencia entre

los Conjuntos regulares, los cuales
pueden ser descritos a partir de sucesos Se ha elaborado una teoria abstracta de
bases y los operadores unión, autómatas con una fuerte base matemática que
concatenación y clausura. según Michael A. Arbib constituye “La

• 1951
matemática pura de la informática”.

• 1969
 Línea Tiempo
Teoria de complejidad
Juris Hartmanis (1928-?) y
Richars Steams (1936-?) su
articulo “On the complexity of
Algorithms” fue relevante en el
desarrollo posterior y dio nombre Stephen Arthur Cook- Introduce la
La distinción entre algoritmos de a este cuerpo de estudio. noción de problema NP-Completo y
tiempo polinomial y algoritmos de demuestra que el problema de la
tiempo exponencial fue hecha por
primera vez por von Neumann • 1965 satisfacibilidad booleana es NP-
completo.

• 1953 • 1971

Richars Marning introdujo la notación

Alan Cobham enfatizo el de P para la clase de los problemas
termino”Intrínseco”,el estaba
interesado en una teoría Fue desarrollado el concepto de la resolubles en tiempo polinomial .
independiente de las maquinas identificación de la clase de problemas

• 1964
que se puede resolver en tiempo
acotado por una polinomio sobre • 1972
longitud de entrada.

• 1965
 Línea Tiempo
Teoria de complejidad

Noam Chomsky (1928-?) propone en 1956 tres modelos para la descripción de lenguajes, que son la base de su futura
jerarquía de los tipos de lenguajes.

• 1956

Chomsky estableció de gramáticas de acuerdo con el formato de sus producciones y distinguió

cuatro clases fundamentales de lenguajes y relaciones de inclusión entre ellas.

• 1959