public void FillNewStateTable(Parser p, DFA dfa){
		// Filling the action table (book: page 150)
		// for every input non terminal symbol
		for (int i = 0; i < p.GetSymbols().size(); ++i){
			if (p.GetSymbols().get(i).mIsTerminal) continue;
			// for every state
			for (int j = 0; j < dfa.GetStates().size(); ++j){
				StateDFA tempS = dfa.GetStates().get(j);
				
				// 4.a) from the book
				StateDFA newState = dfa.GetTransition(tempS, i);
				if (newState != null){
					PTCell_NewState tempC = new PTCell_NewState();
					tempC.mInputIndex = i;
					tempC.mStateIndex = j;
					tempC.mActionSpecificValue = dfa.GetStates().indexOf(newState); // index of a new state
					mCellsNS.add(tempC);
				}
			}
		}
	}