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