let new_sigmastar () : nfa =
  let newnfa = new_nfa_states 0 1 in
    add_trans newnfa newnfa.s Epsilon newnfa.f;
    add_all_trans newnfa newnfa.f newnfa.f;
    newnfa