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

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

1. Lógica Matemática

   • 384 a.C
     • Aristóteles
       • Formuló el principio de la no contradicción
   • 1879
     • Gottlob Frege
       • Caracterización formal de las leyes lógicas y su contenido semántico
         • Filosofía del lenguaje.
     • David Hilbert
       • Teoría de Invariantes, Axiomatización de la geometría, Espacio de Hilbert
         • Fundamento del análisis funcional
   • 1887
     • Giuseppe Peano
       • Estudió la utilidad de la lógica en las matemáticas

2. Informática Teorica

   • 1931
     • Kurt Gödel
       • “On formally undecidable Propositions in Principia Mathematica and related systems”
         • Teorema de Incompletitud
         • Idea de codificación
         • Revolución matemática
   • 1937
     • Alan Mathison Turing
       • “On computable numbers with an application to the Entscheidungsproblem”
         • La máquina de Turing
           • Dispositivo matemático abstracto de cálculo que introduce el concepto de “algoritmo”.

3. Ingeniería Eléctrica

   • 1938
     • Claude Elwood Shannon
       • “A symbolic Analysis of relay and switching circuits”
         • Desarrollo la Teoría de los autómatas finitos y máquinas secuenciales

4. Lingüística

   • 1950
     • Avram Noam Chomsky
       • Teoría de las gramáticas transformacionales
         • Base de la lingüística matemática
     • John Backus
       • Estudió Lenguaje Algebraico
   • 1952
     • Grace Hoper
       • Creo el primer compilador
         • Lenguaje de Programación A-O
   • 1969
     • Stephen A. Cook
       • Extiende el estudio de Turing

5. Teoría de la computabilidad

   • 1936
     • Alonzo Church
       • Problemas Indecidibles
         • Desarrolla el cálculo de Lamda basado en funciones recursivas.
         • Tesis de Church-Turing