Automata_theory loading ...