Algorithme f(v) :
(1) r racine;v0 parent de v; x caract`ere sur l’arc (v, v0); w=f(v0);
(2) Tant que l’arc qui suit w n’est pas ´etiquett´e x and w6=r Faire (3) w=f(w);
(4) Fin Tant que
(5) Si il existe un arc (w, w0) sortant de w ´etiquett´e xalors (6) f(v) =w0;
(7) Sinon
(8) f(v) =r;
Algorithme AC : (1) w:= racine;
(2) j := 1; {indice sur le texte}
(3) R´ep´eter
(4) Tant que δ(w, tj) d´efini (5) w0 :=δ(w, tj); w00:=w0;
(6) Tant que w00 n’est pas la racine (7) Si w00 est terminal et ´etiquett´ei (8) “Occurrence” dePi `a la position j;
(9) w00:=f(w00);
(10) w:=w0; j :=j + 1;
(11) w:=f(w);
(12) Jusqu’`a j =n
