El enorme desarrollo, complejidad y uso que han alcanzado los autómatas y máquinas inteligentes en gran parte de las actividades de los seres humanos, ha obligado a preparar en esta materia a los futuros profesionales de la ingeniería desde los comienzos de su carrera. Este es un curso básico que brinda al estudiante los conocimientos fundamentales para que adquiera las habilidades y técnicas para construir gramáticas generadoras de lenguajes. Dado que la mayoría de los estudiantes están acostumbrados a trabajar más con algoritmos que con sistemas de generación, se ha puesto especial énfasis en el tema de gramáticas, su depuración y formas normales, pero también en la complejidad algorítmica y su eficiencia. Tratando de hacer más comprensibles y asequibles los conocimientos, se ha definido a los autómatas como modelos reconocedores de lenguajes, y a las gramáticas como generadoras de lenguajes.