FO logic on cellular automata orbits equals MSO logic.

Guillaume Theyssier

Published in: CoRR (2024)

Keyphrases

cellular automata
cellular automata model
cellular automaton
expressive power
monadic second order logic
logic programming
pattern formation
dynamical systems
traffic flow
finite state
data complexity
predator prey
galois field