-
Teoría de conjuntos
Bertrand Russell,descubrió la teoría de conjuntos, además dijo que tal como la formulaba Frege, daba lugar a una paradoja. Por lo que ideó la teoría de tipos para evitar la paradoja y publicó la obra "Principio Matematica" -
Máquina de Turing
Alan Turing, definió la "máquina de turing" o máquina automática en la revista Proceedings of the London Mathematical Society. Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo matemático. -
Teorema de Gödel
Alan Turing, publicó un artículo sobre los números incalulables, con lo cual se desarrolló el teorema de Gödel, siendo éste el origen de la informática teórica -
Máquinas secuenciales
Claude Elwood Shannon.
Publicó "A symbolic Analysis of Relay and Switching Circuits", aplicando lógica matemática para el análisis de los circuitos combinatorios y secuenciales. A demás, inició las llamadas máquinas secuenciales primero -
Neurona artificial
McCulloch y Pitts, describen los cálculos lógicos inmersos en un dispositivo (neurona artificial) que habían diseñado para simular la actividad de una neurona biológica. -
Teoría de la información y Teoría de autómatas
Shannon, define los fundamentos de la teoría de la información, utilizando esquemas para definir sistemas discretos, parecidos a los autómatas finitos.
J, Von Neumann introduce el término de teoría de autómatas. -
Expresiones regulares
S.C Kleene, realiza un informe sobre los trabajos de McCulloch y Pitts, demostrando la equivalencia entre expresiones regulares y sucesos especificados por un autómata finito. -
Tabla de transiciones
D.A Huffman, utiliza conceptos como estado de un autómata y tabla de transiciones -
Princeton Univ. Press
La Princeton Univ. Press, publica el libro "Automata Studies" editado por Shannon y McCarthy. -
Inicios de los lenguajes
N.Chomsky, propone tres modelos para la descripción de lenguajes, que son la base de su futura jerarquía de los tipos de lenguajes, ayudando al desarrollo de lenguajes de programación. -
Autómata de estados finitos
Michael Oser Rabin y Dana Scott, obtienen un modelo de computador con una cantidad finita de memoria, a la que llamaron autómata de estados finitos. Demostraron que su comportamiento, era básicamente el mismo que el descrito mediante expresiones regulares por McCulloch y Pitts. -
Notación Backus Naur
Backus y Naur, desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, es identificado como la forna noraml de Backus (BNF)
