Associating parallel automata network dynamics and strictly one-way cellular automata

Pacôme Perrotin (1)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille

We prove that the limit dynamics of any finite automata network under the parallel update schedule correspond exactly to the fixed points of a so-called strictly one-way cellular automaton. This correspondence is proven to be exact, as any strictly one-way cellular automaton can be transformed into a corresponding automata network, the limit dynamics of the latter corresponding exactly to the fixed points of the former. This transformation is operated using output functions, which have been developed in the author's previous works.

Domaines: Mathématique discrète [cs.DM]

Pacôme Perrotin. Associating parallel automata network dynamics and strictly one-way cellular automata. Natural Computing, 2023, 22 (3), pp.453-461. ⟨10.1007/s11047-023-09948-z⟩. ⟨hal-04440102⟩