minimization of finite automata questions