let minimize (n : nfa) : nfa =
  nfa_to_dfa (reverse (nfa_to_dfa (reverse n)))