On shift-invariant maximal filters and hormonal cellular automata

Julien Cervelle (1) , Grégory Lafitte (2)

1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 ESCAPE - Systèmes complexes, automates et pavages

This paper deals with the construction of shift-invariant maximal filters on ℤ and their relation to hormonal cellular automata, a generalization of the cellular automata computation model with some information about the global state shared among all the cells. We first design shift-invariant maximal filters in order to define this new model of computation. Starting from different assumptions, we show how to construct such filters, and analyze the computation power of the induced cellular automata computation model.

Keywords: cellular automata; cellular automata computation model generalization; computation power; hormonal cellular automata; induced cellular automata computation model; shift-invariant maximal filter design; Analytical models; Atmospheric modeling; Automata; Biological system modeling; Computational modeling; Upper bound

Domains: Logic in Computer Science [cs.LO]

Julien Cervelle, Grégory Lafitte. On shift-invariant maximal filters and hormonal cellular automata. LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩. ⟨hal-01615278⟩