ACautomaton