Deconstructing Subset Construction -- Reducing While Determinizing