Comment by ufo

I think one of the reasons is the ".+z" gets bigger and uglier after you convert it to a deterministic automaton.