Use addNextState method in NFA class