-
Turing (1936)
En 1936, Alan Turing propuso una nueva maquina teorica para estudiar procesos algoritmicos -
McCulloch, Pitts (1943)
En 1943, McCulloch y Pitts publicaron un trabajo en el que se hablaba, por primera vez, de las neuronas artificiales y de como estas podrían realizar cálculos lógicos. -
Kleene (1956)
En 1956, Kleene inventó la expresión regular y demostró la equivalencia de la expresión regular y los autómatas finitos -
Shannon (1956)
En 1956, John McCarthy y Claude Shanon publicaron “Automata Studies” que define la teoría de autómatas ampliamente utilizada en computación. -
Moore (1956)
En 1956, Edward F. Moore, escribio Gedanken experiments on sequential machines -
Wang (1957)
En 1957, Arthur W. Burks y Hao Wang publican La Lógica de los Autómatas en Journal of the Association for Computing Machinery. -
Shepherdson (1959)
En 1959, Shepherdson, Rabin y Scott estudiaron por primera vez los autómatas finitos de dos vías. demostraron que estos modelos, tanto en las versiones deterministas como en las no deterministas, tienen el mismo poder de autómatas unidireccionales -
McNaughton (1960)
McNaughton y Yamada (1960) presentaron un par de algoritmos que convirtian sistemáticamente una expresión regular en un autómata finito y viceversa. -
Rabin (1963)
En 1963, Rabin desarrolló una teoría de autómatas probabilísticos de estados finitos. -
Chomsky (1963)
En 1963, Chomsky demuestra la equivalencia de gramáticas y gramáticas de tipo 1 con producciones sólo en la forma sensible al contexto. -
Hartmanis y Richard (1965)
En 1965, Juris Hartmanis y Richard E. Stearns publicaron un artículo sobre la complejidad computacional de los algoritmos.
