> Aside: out of curiosity it would have been interesting to see how a Thompson NFA[1] would have dealt with this.
It wouldn't have dealt with it right? NFAs and DFAs are equivalent and them being actually regular means they can't do things like count parentheses.