ac automata