Deconstructing Subset Construction — Reducing While Determinizing
arXiv:2505.10319v2 Announce Type: replace-cross
Abstract: 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 are equivale…