Theory_of_automata loading ...