Cpp;update automata