Teoría de autómatas y lenguajes formales, el fundamento teórico de la computación.