public List<DFAState> GetStates() { List<DFAState> result = new List<DFAState>(states.Keys); result.Sort((x, y) => x.stateNumber - y.stateNumber); return result; }