Algorithme de Moore fonctionnel