-
Leonardo Torres, 1915
Shannon, 1938
Mc Culloch-Pitts, 1943
Moore, 1956 -
Lenguajes de Programación
Lenguajes Naturales
Sistemas de Comandos -
Hilbert, 1928
Gödel, Kleene, Post y Turing, 1930
Church, 1936
Rabin, 1960
Cobhan, 1964
Cook, 1972
Aho, Hopcroft, Ullman, 1974 -
En 1930´s, A. Turing desarrolló una máquina abstracta denominada Máquina de Turing para el estudio de la computabilidad.
-
En 1940´s y 1950´s, se desarrollan unas máquinas simples, en cuanto su funcionamiento, que fueron conocidas como autómatas finitos, para modelar el funcionamiento del cerebro.
-
Describieron los cálculos lógicos inmersos en un dispositivo denominado neurona artificial.
Redes de Neuronas ArDficiales -
En los 1950´s, N. Chomsky comienza el estudio formal de las gramáticas (generadoras de lenguajes).
-
También a finales de la década de los cincuenta, el lingüista N. Chomsky inició el estudio de las “gramáticas” formales. Aunque no son máquinas estrictamente, estas gramáticas están estrechamente relacionadas con los autómatas abstractos y sirven actualmente como base de algunos importantes componentes de software, entre los que se incluyen componentes de los compiladores
-
Panini, entre el 400 y 200 AC
Chomsky, 1967
Backus, 1960
Kleene, 1951
Hirst, Tennant y Carbonell, 1981 -
Autómatas finitos y ciertas clases de gramáticas formales son usadas en el diseño y construcción de software.
La Máquina de Turing ayuda a comprender que es lo que podemos esperar de nuestro software. -
En 1969, S. Cook amplió el estudio realizado por Turing sobre lo que se podía y no se podía calcular. Cook
fue capaz de separar aquellos problemas que se podían resolver de forma eficiente mediante computadora de
aquellos problemas que, en principio, pueden resolverse, pero que en la práctica consumen tanto tiempo que
las computadoras resultan inútiles para todo excepto para casos muy simples del problema. Este último tipo de
problemas se denominan “insolubles” o “NP-difíciles ”. -
Gibbs y Tucker (1986)
“No se debe entender que el objeDvo de las Ciencias de la Computación sea la construcción de programas sino el estudio sistemáDco de los algoritmos y estructuras de datos, específicamente de sus propiedades formales”
