Olivia A-CIn looking for a proof of the Cellular Automaton definition, I seem to have stumbled on a derivation from the Firing Squad Synchronization Problem, which I didn't even know was a thing
Kutrib, M., Malcher, A. (2021) One-Dimensional Pattern Generation by Cellular Automata
