Subset construction