The NFA implementation only bothers about "matching" or "non-matching", I think, and does not typically carry the "this part would belong to the first group, and this other part is the second" etc.