public ArrayList createProductionsForTransition(Transition transition,
			Automaton automaton) {
		ArrayList list = new ArrayList();
		if (isPushLambdaTransition(transition)) {
			list.addAll(getProductionsForPushLambdaTransition(transition,
					automaton));
		} else if (isPushTwoTransition(transition)) {
			list.addAll(getProductionsForPushTwoTransition(transition,
					automaton));
		}

		return list;
	}