public Transition getTransitionForProduction(Production production) {
		String lhs = production.getLHS();
		String rhs = production.getRHS();
		String rrhs = getReverse(rhs);
		Transition transition = new PDATransition(START_STATE, START_STATE, "",
				rrhs, lhs);
		return transition;
	}