#programación de autómatas