Document - Exploring nominal cellular automata

2017

Journal article Restricted

Exploring nominal cellular automata

Bolognesi T., Ciancia V.

Computational Theory and Mathematics Automi cellulari Nominal Sets Theoretical Computer Science Software Logic

he 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".

Source: Journal of Logical and Algebraic Methods in Programming [online] 93 (2017): 23–41. doi:10.1016/j.jlamp.2017.08.001

Publisher: Elsevier, Amsterdam, NH.

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:377868,
	title = {Exploring nominal cellular automata},
	author = {Bolognesi T. and Ciancia V.},
	publisher = {Elsevier, Amsterdam, NH.},
	doi = {10.1016/j.jlamp.2017.08.001},
	journal = {Journal of Logical and Algebraic Methods in Programming [online]},
	volume = {93},
	pages = {23–41},
	year = {2017}
}