El estudiante reconocerá los conceptos fundamentales de la teoría de autómatas y lenguajes formales; clasificará los lenguajes formales siguiendo la jerarquía de Chomsky; relacionará los principales enfoques para representar lenguajes: gramáticas (métodos generativos) y autómatas (métodos por aceptación) como maquinas con pila o maquinas de Turing. Finalmente, el estudiante reconocerá y aplicará la teoría de autómatas y lenguajes formales para el diseño, modelado o representación de posibles problemas reales.