A Decidability Result for the Halting of Cellular Automata on the Pentagrid.

Maurice Margenstern

Published in: Complex Syst. (2019)

Keyphrases

cellular automata
cellular automaton
cellular automata model
description logics
query answering
reaction diffusion
chaotic dynamics
discrete dynamical systems
predator prey
neural network
traffic flow
potts model
path planner
pattern formation
lattice gas