public State createStateWithStates(Automaton dfa, State[] states,
			Automaton nfa) {
		StatePlacer sp = new StatePlacer();
		State state = dfa.createState(sp.getPointForState(dfa));
		state.setLabel(getStringForStates(states));
		if (hasFinalState(states, nfa)) {
			dfa.addFinalState(state);
		}
		return state;
	}