Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Ciancia V. Nominal cellular automata. In: ICE 2016 - 9th Interaction and Concurrency Experience (Heraklion, Crete, Greece, 8-9 June 2016). Proceedings, pp. 24 - 35. (Electronic Proceedings in Theoretical Computer Science, vol. 223). EPTCS.org, 2016.
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.
URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2016.2
DOI: 10.4204/EPTCS.223.2
Subject Nominal Computation Theory
Nominal Sets
Cellular Automata
F.1.2 Modes of Computation

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional