updated automata package