Deterministic_finite_automata loading ...