public ArrayList getProductionsForPushLambdaTransition(
			Transition transition, Automaton automaton) {
		ArrayList list = new ArrayList();
		String fromState = transition.getFromState().getName();
		String toState = transition.getToState().getName();
		PDATransition trans = (PDATransition) transition;
		String toPop = trans.getStringToPop();
		String toRead = trans.getInputToRead();

		String lhs = LEFT_PAREN.concat(fromState.concat(toPop.concat(toState
				.concat(RIGHT_PAREN))));
		if (MAP.get(lhs) == null) {
			if (isStartSymbol(lhs, automaton))
				MAP.put(lhs, START_SYMBOL);
			else
				MAP.put(lhs, getUniqueVariable());
		}
		String rhs = toRead;

		Production production = new Production(lhs, rhs);
		list.add(production);
		return list;
	}