Historia y evolución de la teoría de autómatas y lenguajes formales - Luis Alejandro Gómez Cuellar
By bioalejo
-
1300 BCE
Abaco
Su origen data del 1300 a.c.; utilizado para realizar transacciones u operaciones matemáticas simples.
Su diseño se le atribuye a Boethius. -
Period: 384 BCE to 322 BCE
Aristoteles
(384 a.c. - 322 a.c.)
Es reconocido como el padre fundador de la lógica y la biología.
Formulo el principio de la no contradicción; un principio clásico de la lógica y la filosofía. -
Gottlob Frege
Matemático, lógico y filosofo alemán.
Fue el primero en distinguir la caracterización formal de las leyes lógicas en su contenido semántico. -
Giuseppe Peano
Matemático y filosofo Italiano Propuso la notación actual de la lógica y estudió los principios de la matemática.
En 1895 publicó Formulario, una enciclopedia matemática que expresa los teoremas fundamentales de la matemática en un lenguaje simbólico. -
David Hilbert (23 problemas)
Propuso una lista amplia de 23 problemas no resueltos en el Congreso Internacional de Matemáticos de París en 1900. Se reconoce de forma general que esta es la recopilación de problemas abiertos más exitosa y de profunda consideración producida nunca por un único matemático. -
David Hilbert (Programa de Hilbert)
En 1920 propuso de forma explícita un proyecto de investigación (en metamatemática, como se llamó entonces) que acabó siendo conocido como programa de Hilbert. Quería que la matemática fuese formulada sobre unas bases sólidas y completamente lógicas. Creía que, en principio, esto podía lograrse, mostrando que:- Toda la matemática se sigue de un sistema finito de axiomas escogidos correctamente; y
- Se puede probar que tal sistema axiomático es consistente.
-
Kurt Gödel
Propuestos por Kurt Gödel en 1931, los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática
El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad, es a la vez consistente y completa.
El segundo teorema de incompletitud: afirma que una de las sentencias indecidibles de dicha teoría es aquella que «afirma» la consistencia de la misma. -
Alan Turing (La maquina de Turing)
Maquina propuesta por Alan Turning en 1936; es el modelo matemático de un dispositivo que se comporta como un autómata finito y que dispone de una cinta de longitud infinita en la que se pueden leer, escribir o borrar símbolos. -
Claude Elwood Shannon (Teoria matematica de la información)
Propuesta por Claude Elwood Shannon; esta teoría habla de la aplicación del cálculo proposicional para circuitos de conmutación, y tiene resultados en la síntesis eficiente de los circuitos de conmutación, el diseño de máquinas que aprenden, la criptografía y la teoría de las máquinas de Turing. -
Alonzo Church y Alan Turing (Tesis Church-Turing)
En 1936, el matematico y logico estadounidense Alonzo Church, junto con Alan Thuring, publicaron la que se conoce como la tesis Church-Thuring.
Esta formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing". -
Warren McCulloch y Walter Pitts (La neurona de McCulloch-Pitts)
El modelo neuronal de McCulloch y Pitts de 1943, fue el primer modelo neuronal moderno, y ha servido de inspiración para el desarrollo de otros modelos neuronales.
Es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano. -
John William Mauchly y John Presper Eckert (ENIAC)
Presentada en 1946, a menudo llamada la primera computadora electrónica de propósito general, El ENIAC era totalmente digital, es decir, que ejecutaba sus procesos y operaciones mediante instrucciones maquina. -
John Von Neuman
Matematico Hungaro-Estadounidense, introduce el termino de teoría de autómatas, y dice sobre los trabajos de McCulloch-Pitts: … el resultado más importante de McCulloch-Pitts, es que cualquier funcionamiento en este sentido, que pueda ser definido en todo, lógicamente, estrictamente y sin ambigüedad, en un número finito de palabras, puede ser realizado también por una tal red neuronal formal. -
Alan Turing (Test de Turing)
Es una prueba de la habilidad de una máquina para exhibir un comportamiento inteligente similar al de un ser humano o indistinguible de este.
Alan Turing propuso que un humano evaluara conversaciones en lenguaje natural entre un humano y una máquina diseñada para generar respuestas similares a las de un humano. -
Noam Chomsky
Comienza el estudio formal de las gramáticas (generadoras de lenguajes), Jerarquia de Chomsky, Clasificación de lenguajes formales en teoría de la computación -
Period: to
Grace Hopper
Fue una científica de la computación y militar estadounidense con grado de contraalmirante.
En 1952, desarrolló el primer compilador de la historia, el A-0, y en 1957 realizó el primer compilador para procesamiento de datos que usaba órdenes en inglés, el B-0 (FLOW-MATIC), utilizado principalmente para el cálculo de nóminas. -
John Backus (Fortran)
Científico de la computación estadounidense, publicó en 1954 un artículo titulado Preliminary Aplazamiento, Specifications fuero the IBM Mathematical FORmula TRANslating System, FORTRAN. Fueron necesario sa continuación dos años de esfuerzo del equipo que dirigía en IBM para escribir el primer compilador FORTRAN. -
Edward Moore
Escribió en 1956 el articulo, Gedanken-experiments on Sequential Machines (Estudios de Autómatas, Anuales de los Estudios Matemáticos).
En la Teoría de la computación, una Máquina de Moore es un autómata de estados finitos para el cual la salida en un momento dado sólo depende de su estado en ese momento, mientras la transición al siguiente estado depende del estado en que se encuentre y de la entrada introducida. -
Stephen Kleene
Fue el creador de la teoría de la recursividad, dando su aporte a sentar las bases de la ciencia de la computación teórica, al proporcionar los métodos para determinar que los problemas son solubles. -
Michael Rabin y Dana Scott
Obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos.
Demostraron que su comportamiento posible, era básicamente el mismo que el descrito mediante expresiones regulares, desarrolladas a partir de los trabajos de McCulloch y Pitts. -
Friedrich Ludwig Gottlob Frege
Nacido en Alemania, profesor de la Universidad de Jena, publicó en 1978, Conceptografía (Begriffsschrift).
Desarrollo la logica de primer orden (operadores and, or, not, implicación, para-todo, existe)