starting automata