public State getStateForStates(State[] states, Automaton dfa, Automaton nfa) {
		State[] dfaStates = dfa.getStates();
		for (int k = 0; k < dfaStates.length; k++) {
			State[] nfaStates = getStatesForState(dfaStates[k], nfa);
			if (containSameStates(nfaStates, states)) {
				return dfaStates[k];
			}
		}
		return null;
	}