Prácticas en Teoría de autómatas y compiladores