Map<State,Transition<State,Alphabet>> considered = new HashMap<State,Transition<State,Alphabet>>();