public void InputSymbol(int input){
		for (int i = 0; i < mStates.size(); ++i)
			if (mStates.get(i).mUsed && mTransitions.containsKey(mStates.get(i))){
				List<Transition> temp = mTransitions.get(mStates.get(i));
				for (int j = 0; j < temp.size(); ++j){
					if (temp.get(j).mInput == input){
						List<StateNFA> tempNS = temp.get(j).mNextStates;
						for (int k = 0; k < tempNS.size(); ++k){
							tempNS.get(k).mUsedInNextStep = true;
						}
					}
				}
			}
		
		for (int i = 0; i < mStates.size(); ++i){
			mStates.get(i).mUsed = mStates.get(i).mUsedInNextStep;
			mStates.get(i).mUsedInNextStep = false;
		}
	}