La teoría de autómatas permite modelar maquinas y especificar como estas pueden solucionar problemas, también están ligadas a las gramáticas y los
lenguajes que estas pueden manejar.
En la materia Autómatas y
Lenguajes Formales se aprende a escribir,manejar y usar gramáticas y modelos de autómatas que forman la base de la teoría de la computación, además las operaciones que se hacen entre estas maquinas.