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). 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.