\:Dokud $F \neq \emptyset$:
\::Vybereme $i$ z~fronty $F$.
\::Pro v¹echny syny $s$ vrcholu $i$:
-\:::$z \= \alg{AcKrok}(\<Zpìt>(s), \hbox{písmeno na~hranì $is$})$.
+\:::$z \= \alg{AcKrok}(\<Zpìt>(i), \hbox{písmeno na~hranì $is$})$.
\:::$\<Zpìt>(s) \= z$.
\:::Pokud $\<Slovo>(z) \neq \emptyset$: $\<Zkratka>(s) \= z$.
\:::Jinak $\<Zkratka>(s) \= \<Zkratka>(z)$.