Finite-state_automaton loading ...