Visitants: Programación de Autómatas