La teoría de los Lenguajes Formales y autómatas, suministran los elementos teóricos y prácticos que fundamentan la informática y la ciencias de la computación. Ofrece métodos y técnicas para analizar, diseñar y desarrollar  lenguajes de programación fundamentados en autómatas. El análisis dirigido por sintaxis apoyado en expresiones regulares, lenguajes libres de contexto, autómatas finitos y máquinas de pila permite a través del procesamiento descendente o ascendente, enfatizan en la resolución de problemas que se encuentran al diseñar un traductor de un lenguaje.