Finite_automaton loading ...