For one-dimensional cellular automata there are known algorithms for deciding whether a rule is reversible or irreversible.
За једнодимензионални ћелијски аутомат познати су алгоритми за одлучивање да ли је правило реверзибилно или неповратно.