@Override
	public void dumpNonTerminals()
	{
		int i = 0;
		finalOutputStream.print("===== NONTERMINALS =====\n");
		for(NonTerminal nt : grammar.getNT())
		{
			finalOutputStream.print("[" + i + "]" + nt + " ");
			if(!grammar.getDisplayName(nt.getId()).equals(nt.getId().toString())) finalOutputStream.print("(" + grammar.getDisplayName(nt.getId()) + ") ");
			numbering.put(nt,i++);
			if(i % NONTERMINALS_PER_LINE == 0) finalOutputStream.print("\n");
		}
		if(i % NONTERMINALS_PER_LINE != 0) finalOutputStream.print("\n");
	}