Le théorème de Liouville concernant les systèmes dynamiques démontre que le nombre de configurations d'un système évolutif réversible est fixe dans le temps.
Cette caractéristique est exploitée dans les automates cellulaires[1].
Note et référence
- ↑ (en) Joel L. Schiff, Cellular Automata, Wiley, p. 67