ArrayAutomaton added.