public static boolean isTerminalInProduction(String terminal,
			Production production) {
		String[] terminals = production.getTerminals();
		for (int k = 0; k < terminals.length; k++) {
			if (terminals[k].equals(terminal))
				return true;
		}
		return false;
	}