private HashSet<object> GetUnaliasedDFAStateSet( HashSet<object> dfaStatesWithRecursionProblems )
{
HashSet<object> dfaStatesUnaliased = new HashSet<object>();
foreach ( int stateI in dfaStatesWithRecursionProblems )
{
DFAState d = _dfa.GetState( stateI );
dfaStatesUnaliased.Add( d.StateNumber );
}
return dfaStatesUnaliased;
}