let reach_states ((transicoes,_,_) as maq : maquina) (states:estados) (ch:simbolo) = Sestado.fold (fun state acc-> Sestado.union acc (reach maq state ch)) states Sestado.empty