PDI: Programación de Autómatas