Update Autómatas