Automaton module, for finite automata