Automata Design