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. (384 a. C - 322 a. C.)

   • Aristóteles
     • Es reconocido como el padre fundador de la lógica y de la biología
       • formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía

2. 1887

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

3. 1879

   • Gottlob Frege
     • publicó su revolucionaria obra titulada Conceptografía o Escritura de conceptos.
     • fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico

4. 1946

   • se desarrolló la primera computadora digital
     • estas máquinas ejecutaban instrucciones consistentes en códigos numéricos
       • se denominó lenguaje máquina

5. 1930’s

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

6. 1940’s y 1950’s

   • Se desarrollan maquinas Simples
     • fueron conocidas como autómatas finitos
       • para moldear el funcionamiento del cerebro.

7. 1943

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

8. 1950

   • 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.
   • John Backus
     • Investigó el Lenguaje Algebraico.

9. 1952

   • Grace Hopper
     • Escribió el primer compilador
       • lenguaje de programación A-0

10. 1954

    • Creacion de FORTRAN
      • lenguaje que permitía escribir fórmulas matemáticas
        • traducible por un ordenador

11. 1956

    • Claude Shannon
      • Aplicó la lógica matemática para el análisis de circuitos combinatorios
    • Stephen Kleene
      • creador de la teoría de la recursividad
      • Aportó a sentar las bases de la ciencia de la computación teórica
    • Edward F. Moore
      • fue el primero en utilizar el tipo de máquina de estados finitos

12. 1960's

    • Los autómatas programables se introducen por primera vez en la industria

13. 1969

    • Stephen A. Cook
      • extiende el estudio de Turing

14. 1973

    • Las funciones de comunicación comenzaron a integrarse en los autómatas

15. 1980

    • intento de estandarización de las comunicaciones con el protocolo MAP