do you have examples of automata determinization which are not the powerset construction or a variant thereof