public Production getProductionForTransition(Transition transition) {
		FSATransition trans = (FSATransition) transition;

		State toState = trans.getToState();
		State fromState = trans.getFromState();
		String label = trans.getLabel();
		String lhs = (String) MAP.get(fromState);
		String rhs = label.concat((String) MAP.get(toState));
		Production production = new Production(lhs, rhs);

		return production;
	}