Deconstructing Subset Construction -- Reducing While Determinizing

John Nicol, Markus Frohme

We present a novel perspective on the NFA canonization problem, which introduces intermediate minimization steps to reduce the exploration space on-the-fly. Central to our approach…