Uvádíme algoritmus, který hledá maximální atraktory celulárních automatů, pokud tyto atraktory jsou sofické posuny. Algoritmus vyhledává signální posuny, sestrojuje jejich spojení a obrazy.
Pokud se tento proces zastaví, algoritmus ověřuje podmínku klesajících vzorů