So in every step a Nondeterministic Automata is in a set of states of the machine and when it reason, the input we consider all the possible moves it can make to compute the complete set of states that could be in at the next step of the machine. 