A strongly universal cellular automaton on the heptagrif with seven states, new proof.

Maurice Margenstern

Published in: CoRR (2023)

Keyphrases

cellular automaton
cellular automata
finite state machines
pattern generation
reaction diffusion
cellular automaton model
state transition
theorem proving
dynamical behavior
state transitions
linear logic
case study
data sets
theorem prover
model checking
bayesian networks
neural network