terminate NFA