Nominal Cellular Automata

Tommaso Bolognesi
(Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche - Pisa, Italy) 		Vincenzo Ciancia
(Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche - Pisa, Italy)

The emerging field of Nominal Computation Theory is concerned with the theory of Nominal Sets and its applications to Computer Science. We investigate here the impact of nominal sets on the definition of Cellular Automata and on their computational capabilities, with a special focus on the emergent behavioural properties of this new model and their significance in the context of computation-oriented interpretations of physical phenomena. A preliminary investigation of the relations between Nominal Cellular Automata and Wolfram's Elementary Cellular Automata is also carried out.

In Massimo Bartoletti, Ludovic Henrio, Sophia Knight and Hugo Torres Vieira: Proceedings 9th Interaction and Concurrency Experience (ICE 2016), Heraklion, Greece, 8-9 June 2016, Electronic Proceedings in Theoretical Computer Science 223, pp. 24–35.
Published: 10th August 2016.
ArXived at: https://dx.doi.org/10.4204/EPTCS.223.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org