-
Period: to
AUTÓMATAS (ingeniería). Pilares que sustentan la Teoría
Leonardo Torres, 1915
Shannon, 1938
Mc Culloch-Pitts, 1943
Moore, 1956 -
Period: to
“John Backus” (para gramática de ALGOL)
Lenguajes de Programación
Lenguajes Naturales
Sistemas de Comandos -
Period: to
COMPUTABILIDAD (matemáticas) Pilares que sustentan la Teoría
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 1930´s, A. Turing desarrolló una máquina abstracta denominada Máquina de Turing para el estudio de la computabilidad. -
Period: to
En 1940´s y 1950´s, se desarrollan unas máquinas simples conocidas como autómatas finitos, para modelar el funcionamiento del cerebro.
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. -
McCulloch-Pibs (1943)
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).
En los 1950´s, N. Chomsky comienza el estudio formal de las gramáticas (generadoras de lenguajes). -
Chomsky inició el estudio de las “gramáticas” formales.
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 -
Period: to
LENGUAJES y GRAMÁTICAS (lingüística) Pilares que sustentan la Teoría
Panini, entre el 400 y 200 AC
Chomsky, 1967
Backus, 1960
Kleene, 1951
Hirst, Tennant y Carbonell, 1981 -
En 1969, S. Cook extiende el estudio de Tuning. Cook separa aquellos problemas que pueden ser solucionados de aquellos que en principio pueden ser solucionados pero que en la práctica toman demasiados recursos.
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.
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)
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”
