Esta investigación trata el problema de extensión de la teoría de autómatas finitos convencionales, para el estudio de su dinámica. Para ello se plantea un enfoque algebraico centrado en los conceptos de semianillos, K-subconjuntos racionales, K-+-álgebras y K-Σ-autómatas. Se demuestra en este contexto el Teorema de Kleene como argumento fundamental para obtener que la dinámica de un K-Σ-autómata es la solución de un sistema de ecuaciones lineales de lenguajes. 

This research addresses the problem of extending the theory of conventional finite automata to study their dynamics. To do so, an algebraic approach is proposed, centered on the concepts of semirings, K-rational subsets, K-+-algebras and K-Σ-automata. In this context, Kleene’s Theorem is demonstrated as a fundamental argument to obtain that the dynamics of a K-Σ-automaton is the solution of a system of linear equations of languages.