https://dmtcs.episciences.org/en/articles/2302
On undecidability of equicontinuity classification for cellular automata | Discrete Mathematics &...
Equicontinuity classification is a popular classification of cellular automata based on their dynamical behavior. In this paper we prove that most of its...
cellular automatadiscrete mathematicsundecidabilityequicontinuityclassification