-\:Pro $C\in\Sigma$ postupnì:
-\:$\indent$Dokud $\neg \exists d(\alpha , C) \wedge \alpha\neq\varepsilon : \alpha \leftarrow z(\alpha)$.
-\:$\indent$Jestli¾e $\exists d(\alpha , C) \Rightarrow \alpha \leftarrow d(\alpha , C)$.
-\:$\indent$Jestli¾e $\alpha = \iota \Rightarrow$ hledané slovo je v~textu.
+\:Pro $C\in\sigma$ postupnì:
+\::Dokud $\neg \exists d(\alpha , C) \wedge \alpha\neq\varepsilon$: $\alpha \leftarrow z(\alpha)$.
+\::Pokud $\exists d(\alpha , C)$: $\alpha \leftarrow d(\alpha , C)$.
+\::Pokud $\alpha = \iota$: vrátíme, ¾e hledané slovo je v~textu.