Fran: the finite state automaton

Fran: the finite state automaton