El documento presenta el syllabus de un curso de Autómatas y Lenguajes Formales de la Universidad Nacional Abierta y a Distancia. El curso dura 18 semanas y cubre tres unidades. Incluye cuatro momentos con diferentes actividades individuales y colaborativas evaluadas. El director del curso es Carlos Amaya Tarazona y se utilizan simuladores y videos para apoyar la enseñanza basada en problemas. Se recomienda dedicación al curso debido a su dificultad y alta deserción.