Historia y Evolución de la Teoría de Automatas y Lenguajes Formales

Timeline created by facebooker_1199725393560009
  • Giuseppe Peano

    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
  • Alan Turing

    Alan Turing
    Creó la Maquina de Turing
    Publicó el artículo "sobre los numeros calculables"
    Desarrolló el teorema de Gödel y puede considerarse el origen de la informática teórica
  • La neurona de McCulloch-Pitts

    La neurona de McCulloch-Pitts
    Unidad de cálculo que intenta modelar el comportamiento de una neurona "natural"
    Estableció autómatas finitos equivalentes a células
  • Primer Computador Digital

    Primer Computador Digital
    Estas máquinas ejecutaban instrucciones consistentes en códigos numéricos
    Se denominó lenguaje máquina
  • Noam Chomsky

    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.
  • Grace Hopper

    Grace Hopper
    Escribió el primer compilador
    Lenguaje de programación A-0
  • Stephen A. Cook

    Stephen A. Cook
    Extiendes los estudios de Alan Turing
  • Period:
    -384 BCE
    to
    -322 BCE

    Aristoteles

    Reconocido como el padre de la lógica.
    Formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía
  • Period: to

    Maquinas simples

    Fueron conocidas como autómatas finitos
    Para moldear el funcionamiento del cerebro.