Automata Class