public String[] getSymbols() {
		SortedSet symbols = new TreeSet();
		symbols.addAll(Arrays.asList(getVariables()));
		symbols.addAll(Arrays.asList(getTerminals()));
		return (String[]) symbols.toArray(new String[0]);
	}