Lean formalization of bounded grids and computable cellular automata defined thereover.

Frantisek Silvási Martin Tomásek

Published in: Sci. Comput. Program. (2020)

Keyphrases

cellular automata
cellular automaton
cellular automata model
chaotic dynamics
lattice gas
pattern formation
cellular automaton model
discrete dynamical systems
neural network
efficient implementation