private void FillProduction(Production production, String inputLine){
		inputLine += " "; // this is needed for the algorithm to know when to stop.
		int i = inputLine.indexOf(" ") + 1; // first skip " "
		inputLine = inputLine.substring(i);
		do{
			i = inputLine.indexOf(" ") + 1;
			String temp = "";
			temp = inputLine.substring(0, i - 1);
			
			production.mRightSymbolsIndices.add(FindSymbolIndex(temp));
				
			inputLine = inputLine.substring(i);
		}while(inputLine.length() > 0);
	}