public static boolean isUnrestricted(Grammar grammar) {
		Production[] prods = grammar.getProductions();
		for (int i = 0; i < prods.length; i++)
			if (prods[i].getLHS().length() != 1)
				return true;
		return false;
	}