Titulación Proyecto de titulación: Manual de prácticas y proyectos para el curso de compiladores, Apoyo a la docencia.