A mathematical characterization of cellular automata in terms of their symbolic dynamics
No description defined