-\:Vstup: $\sigma, a, (v, \alpha)$
-
-// 1. Zalo¾ení listù/Podrozdìlení hran
-\:if $\alpha = \varepsilon$:
-\::if $\exists (v, a* )$
-\:::konec
-\::else:
-\:::zalo¾ím list
-\:else if $\alpha \ne \varepsilon$:
-\::if $\exists (v, \alpha a*)$:
-\:::konec
-\::else:
-\:::podrozdìlím hranu na které le¾í $\alpha$ // za $\alpha$ vlo¾ím odboèku na $a$, kam dám list a pokraèuju
-
-// 2. Pøechod na dal¹í vrchol
-\:zkrátim $\alpha$ zleva o znak
-\:if $v = \varepsilon$:
-\::pøejdu do $( \varepsilon, \alpha bez 1. znaku)$
-\:else:
-\::pøejdu do $( back[v], \alpha )$
-
-// 3.
-\:kanonikalizuji // "jdu z $v$ pøes alpha do co nejdal"
+\:Vstup: $\alpha=\alpha(\sigma)$ reprezentovaný jako kanonický referenèní pár $(\pi,\tau)$, $T$ suffixový strom pro~$\sigma$ a jeho funkce \<back>, nový znak~$a$.
+\:Zjistíme, jestli $\alpha a$ je pøitomen ve~stromu:
+\::Pokud $\tau=\varepsilon$: ($\alpha=\pi$ je vnitøní vrchol)
+\:::Vede-li z~vrcholu $\pi$ hrana s~nálepkou zaèínající znakem $a$, pak je pøítomen.
+\:::Nevede-li, není pøítomen, a~tak pøidáme novou otevøenou hranu vedoucí do~nového listu.
+\::Pokud $\tau\ne\varepsilon$: ($\alpha$ je skrytý vrchol)
+\:::Najdeme hranu, po~ní¾ z~$\pi$ pokraèuje slovo $\tau$ (která to je, poznáme podle prvního znaku slova~$\tau$).
+\:::Pokud v~popisce této hrany po~$\tau$ následuje znak~$a$, pak je $\alpha a$ pøítomen.
+\:::Pokud nenásleduje, tak nebyl pøítomen, èili tuto hranu rozdìlíme: pøidáme na~ní nový vnitøní vrchol,
+ do~nìj¾ povede hrana s~popiskou~$\tau$ a z~nìj zbytek pùvodní hrany a otevøená hrana do~nového listu.
+\:Pokud $\alpha a$ byl pøítomen, tak $\alpha$ zkrátíme a test opakujeme:
+\::Je-li $\pi\ne\varepsilon$, nastavíme $\pi := \<back>(\pi)$. V~opaèném pøípadì (jsme v~koøeni) zkrátíme $\tau$ o~znak zleva.
+\::Pár $(\pi,\tau)$ u¾ popisuje zkrácené slovo, ale nemusí být kanonický, tak¾e to je¹tì napravíme:
+\:::Dokud existuje hrana vedoucí z~$\pi$, její¾ popiska je prefixem slova $\tau$, tak se
+ po~této hranì posuneme, èili prodlou¾íme $\pi$ o~tuto popisku a zkrátíme o~ni~$\tau$.
+\::Zpìt na~krok 2.
+\:Pokud $\alpha a$ u¾ je pøítomen, zbývá pøidat $a$ k~$\alpha$ a zastavit se:
+\::$\tau := \tau a$.
+\::Kanonikalizace stejnì jako v~bodech 12--13.
+\:Výstup: $\alpha=\alpha(\sigma a)$ coby kanonický referenèní pár $(\pi,\tau)$, $T$ suffixový strom pro~$\sigma a$
+ a jeho funkce \<back>.