HISTORIA DE AUTMATAS FINITOS

El origen de los autmatas finitos probablemente se remonta a su uso implcito en mquinas electromecnicas, desde principios del siglo XX.

Ya en 1907, el matemtico ruso Andri Mrkov formaliz un proceso llamado cadena de Markov, donde la ocurrencia de cada evento depende con una cierta probabilidad del evento anterior.

En efecto, las cadenas de este tipo tienen memoria. "Recuerdan" el ltimo evento y esto condiciona las posibilidades de los eventos futuros. Esta capacidad de "recordar" es utilizada posteriormente por los autmatas finitos, que poseen una memoria primitiva similar, en que la activacin de un estado tambin depende del estado anterior, as como del smbolo o palabra presente en la funcin de transicin.

Posteriormente, en 1943, surge una primera aproximacin formal de los autmatas finitos con el modelo neuronal de McCulloch-Pitts.

Al final de esta dcada, en 1959, surge el concepto de autmata finito no determinista en manos de los informticos tericos Michael O. Rabin y Dana Scott.

Finalmente, con el desarrollo del sistema operativo Unix en la dcada de 1970, los autmatas finitos encuentran su nicho en el uso masivo de expresiones regulares para fines prcticos, especficamente en el diseo de analizadores lxicos (comando lex) y la bsqueda y reemplazo de texto (comandos ed y grep).