Conversion of automata via subset construction