vertices
automata