Subset construction from NFA.