add automata code