A NFA class