Deterministic_automaton loading ...