Automata Module