text: Для одномерных клеточных автоматах реверсивность считается разрешимой, и Кари обозначил жёсткие границы для размера окрестности точки, необходимого для имитации обратной динамики реверсивных одномерных автоматов.