let next ((transicoes,b,c) as maquina) ((states, restante) as config) simb= let res = reach_epsilon maquina (reach_states maquina states simb) in if (Sestado.is_empty res) then raise (FIM config) else res