PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Ciancia V. Exploring nominal cellular automata. In: Journal of Logic and Algebraic Programming, vol. 93 (December 2017) pp. 23 - 41. Elsevier, 2017.
 
 
Abstract
(English)
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. An investigation of the relations between Nominal Cellular Automata and Wolfram's Elementary Cellular Automata is carried out, together with an analysis of interesting particles, exhibiting "nominal" behaviour, in a particular kind of rules, reminiscent of the class of totalistic Cellular Automata, that we call "bagged".
URL: http://www.sciencedirect.com/science/article/pii/S2352220816301730?via%3Dihub
DOI: 10.1016/j.jlamp.2017.08.001
Subject Automi Cellulari
Nominal Sets
F1.1 Models of Computation
68Q80 Theory of computing. General


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