add NFA