adding NFA