Computing the regular language recognized by a finite automaton

From LRDE

Résumé

FIXME