public Production getLambdaProductionForFinalState(Automaton automaton,
			State state) {
		/** Check if state is a final state. */
		if (!automaton.isFinalState(state)) {
			System.err.println(state + " IS NOT A FINAL STATE");
			return null;
		}
		String llhs = (String) MAP.get(state);
		String lrhs = LAMBDA;
		Production lprod = new Production(llhs, lrhs);
		return lprod;
	}