automata
automata/modules
