Intrinsic Simulations between Stochastic Cellular Automata
Intrinsic Simulations between Stochastic Cellular Automata
The paper proposes a simple formalism for dealing with deterministic, non-deterministic and stochastic cellular automata in a unifying and composable manner. Armed with this formalism, we extend the notion of intrinsic simulation between deterministic cellular automata, to the non-deterministic and stochastic settings. We then provide explicit tools to prove or …