private void FillTerminalSymbols(String inputLine){
		inputLine += " "; // this is needed for the algorithm to know when to stop.
		int i = inputLine.indexOf(" ") + 1; // first skip "%T "
		inputLine = inputLine.substring(i);
		do{
			i = inputLine.indexOf(" ") + 1;
			Symbol temp = new Symbol();
			temp.mIsTerminal = true;
			temp.mSy = inputLine.substring(0, i - 1);
			mSymbols.add(temp);
			inputLine = inputLine.substring(i);
		}while(inputLine.length() > 0);
	}