public static void splitLabel(Transition transition, Automaton automaton){
		FSATransition trans = (FSATransition) transition;
		State from = transition.getFromState(), f = from, to = transition
		.getToState();
		automaton.removeTransition(trans);
		String label = trans.getLabel();
		for(int i=label.charAt(label.indexOf("[")+1); i<=label.charAt(label.indexOf("[")+3); i++){
			Transition newTrans = new FSATransition(from, to, Character.toString((char)i));
			automaton.addTransition(newTrans);
		}
	}