ACAutomaton