subset construction