Historia de los Automatas y Lenguajes Formales

  • Period: to

    Las leyes basicas de la aritmética

    Obra de Frege que abrió el camino hacía la lógica matemática actual
  • Fundamentos de la Aritmética

    Fundamentos de la Aritmética
    La investigación sobre los fundamentos de las matemáticas comenzó a fnales del siglo XIX. Gottlob Frege fue uno de los grandes matemáticos de ese siglo.
  • Origen de la informática teórica

    Origen de la informática teórica
    Alan Mathison Turing publicó el artículo sobre los número calculables, desarrollo del teorema de Godel e introdujo la máquina de Turing
  • Ingeniería eléctrica

    Ingeniería eléctrica
    Claude Elwood Shannon publicó el artículo A Simbolic Analysis of Relay and Switching circiuts. En el que aplicó la lógica matemática para el análisis de circuitos combinatorios y secuenciales.
  • Lenguajes y Gramáticas (avance más significativo)

    Lenguajes y Gramáticas (avance más significativo)
    El norteamericano Avram Noam Chomsky introdujo la teoría de las gramáticas transformacionales, que convirtió la linguística en una ciencia.