Quiero que me hagas un resumen con estas líneas.
El origen de los autómatas finitos probablemente se remonta a su uso implícito en máquinas electromecánicas, desde principios del siglo XX. Ya en 1907, el matemático ruso Andréi Márkov formalizó un proceso llamado cadena de Markov, donde la ocurrencia de cada evento depende con una cierta probabilidad del evento anterior. Esta capacidad de "recordar" es utilizada posteriormente por los autómatas finitos, que poseen una memoria primitiva similar, en que la activación de un estado también depende del estado anterior, así como del símbolo o palabra presente en la función de transición.
 
 Posteriormente, en 1943, surge una primera aproximación formal de los autómatas finitos con el modelo neuronal de McCulloch-Pitts. Durante la década de 1950 prolifera su estudio, frecuentemente llamándoseles máquinas de secuencia; se establecen muchas de sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su equivalencia con las expresiones regulares.​ Al final de esta década, en 1959, surge el concepto de autómata finito no determinista en manos de los informáticos teóricos Michael O. Rabin y Dana Scott.
Los autómatas finitos se originan en máquinas electromecánicas, y tienen precedentes en procesos como la cadena de Markov. Ambos sistemas tienen una memoria primitiva similar, en la que la activación de un estado depende del anterior. En los autómatas finitos, también depende del símbolo en la función de transición. En los años 30, se usan en modelos neuronales. En los 50, son estudiados a fondo, y sus propiedades básicas se establecen, así como su relación con los lenguajes regulares y su equivalencia con las expresiones regulares. Más adelante, aparece el concepto de autómata finito no determinista.