-
Maquinas de tejido controladas por tarjetas perforadas
-
Maquinas especiales para corte de metal
-
Sir Joseph whitworth enfatiza la necesidad de piezas intercambiables
-
Primer piano automático inventado por M. Fourneaux
-
Maquinas especiales para corte de metal
-
Primer torno automático, inventado por Christopher Spencer
-
Sir Joseph whitworth enfatiza la necesidad de piezas intercambiables
-
K. Gödel y su Teorema de Incompletitud
Todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de (números de Gödel de) axiomas sea recursivo no es completo -
La Tesis de Church-Turing
-
Kleene
On notation for ordinal numbers -
Surgen los controles hidráulicos, neumáticos y electrónicos para maquinas de corte automática
-
McCulloch-Pitts
Descubrieron los cálculos lógicos inmersos en un dispositivo denominado Neurona Artificial -
John Parsons comienza investigación sobre control numérico
-
John Parsons comienza investigación sobre control numérico
-
C. Shannon
define los fundamentos de la teoría de la información, y utiliza esquemas para poder definir sistemas discretos, parecidos a los autómatas finitos -
J. Von Neumann
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. -
S.C. Kleene
realiza un informe (solicitado por la RAND Corporation) sobre los trabajos de McCulloch-Pitts -
D. A. Huffman
utiliza conceptos como estado de un autómata y tabla de transiciones -
Noam Chomsky
jerarquía de Chomsky -
Automata Studies
la Princenton Univ. Press publica el libro Automata Studies, editado por C. Shannon y J. McCarthy, donde se recogen una serie de trabajos sobre autómatas y lenguajes formales. -
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 Para ello intentó utilizar autómatas para extraer estructuras sintácticas y dirige sus estudios a las gramáticas, indicando que la diferencia esencialmente autómatas y gramáticas es que la lógica asociada a los autómatas. Desarrolla el concepto de gramática libre del contexto,en el transcurso de sus investigaciones sobre la sintaxis de los lenguajes naturales. -
Se desarrollan técnicas de control numérico directo y manufactura computadorizada
-
Rabin y Scott
obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. -
J. Hartmanis y R.E. Stearns
la complejidad computacional de los algoritmos -
Se desarrollan técnicas de control numérico directo y manufactura computadorizada
-
Gibbs y Tucker
no se debe entender que el objetivo de las ciencias de la computación sea la construcción de programas , si no el estudio sistemático de los algoritmos y estructura de datos, específicamente en sus propiedades formales. -
A. Berztiss
las Ciencias de la computación, como un cuerpo de conocimiento cuyo objetivo es obtener respuestas