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