public State[] getStatesForState(State state, Automaton automaton) {
		if (state.getLabel() == null)
			return new State[0];
		StringTokenizer tokenizer = new StringTokenizer(state.getLabel(),
				" \t\n\r\f,q");
		ArrayList states = new ArrayList();
		while (tokenizer.hasMoreTokens())
			states.add(automaton.getStateWithID(Integer.parseInt(tokenizer
					.nextToken())));
		return (State[]) states.toArray(new State[0]);
	}