public boolean isLambdaTransition(Transition transition) {
		PDATransition trans = (PDATransition) transition;
		String input = trans.getInputToRead();
		String toPop = trans.getStringToPop();
		String toPush = trans.getStringToPush();
		if (input.equals(LAMBDA) && toPop.equals(LAMBDA)
				&& toPush.equals(LAMBDA))
			return true;
		return false;
	}