I think this is essentially the same construction as I have seen before, but this presentation is simpler while at the same time making the unambiguity clear. Thank you! The next question this raises for me is whether it can be done without the exponential explosion of the RE -> DFA step. A nice problem for me to think about.