let next simb maquina memo = 
  let (esta, restante) = memo in
  try
    let transicoes,b,c = maquina in
    (assoc (esta,simb) transicoes)
  with Not_found -> raise (FIM memo)