This is amazing. I'm at loss for words. During my CS years I remember being fascinated by NFA's, as opposed to boring single universe DFA's. For some reason I internalized that I would never see something like an NFA implemented beyond text books. Then came Carlini.
But... they are equivalent?
And we always changed the regex NFA to an equivalent DFA and that was the implementation.
So somehow I managed to internalize the idea that an NFA is purely theoretical and can't be built.