Historia y evolución de la teoría de autómatas y lenguajes formales

By lfpedrazar

  • Lógica simbólica

    Gottlo Frege
    George Boole
    (Matemáticos)

  • Alan Mathison Turing (Matemático inglés)

    Teorema de Gödel (Origen oficial de la informática teórica)
    Teorema de Turing (Formulación equivalente del Teorema de Gödel)
  • Period: to

    Claude Elwood Shannon (Matemático norteamericano)

    Teoría matemática de la comunicación.
    Análisis de circuitos electrónicos.
    Teoría de control.
    Construcción de compiladores e interpretes.
    Entre otros.