Shift-equivalence of k-ary, one-dimensional cellular automata rules

dc.contributor.authorRuivo E.L.P.
dc.contributor.authorde Oliveira P.P.B.
dc.contributor.authorLobos F.
dc.contributor.authorGoles E.
dc.date.accessioned2024-03-12T23:56:49Z
dc.date.available2024-03-12T23:56:49Z
dc.date.issued2018
dc.description.abstract© 2018 Elsevier B.V.Cellular automata are locally-defined, synchronous, homogeneous, fully discrete dynamical systems. In spite of their typically simple local behaviour, many are capable of showing complex emergent behaviour. When looking at their time-evolution, one may be interested in studying their qualitative dynamical behaviour. One way to group rules that display the same qualitative behaviour is by defining symmetries that map rules to others, the simplest way being by means of permutations in the set of state variables and reflections in their neighbourhood definitions, therefore defining equivalence classes. Here, we introduce the notion of shift-equivalence as another kind of symmetry, now relative to the concept of translation. After defining the notion and showing it indeed defines an equivalence relation, we extend the usual characterisation of dynamical equivalence and use it to partition some specific binary cellular automata rule spaces. Finally, we give a characterisation of the class of shift-equivalent rules in terms of the local transition functions of the cellular automata in the class, by providing an algorithm to compute the members of the class, for any k-ary, one-dimensional rule.
dc.description.firstpage280
dc.description.lastpage291
dc.description.volume63
dc.identifier.doi10.1016/j.cnsns.2018.03.017
dc.identifier.issn1007-5704
dc.identifier.urihttps://dspace.mackenzie.br/handle/10899/35471
dc.relation.ispartofCommunications in Nonlinear Science and Numerical Simulation
dc.rightsAcesso Restrito
dc.subject.otherlanguageDynamical behaviour
dc.subject.otherlanguageDynamical equivalence
dc.subject.otherlanguageOne-dimensional cellular automata
dc.subject.otherlanguageShift equivalence
dc.titleShift-equivalence of k-ary, one-dimensional cellular automata rules
dc.typeArtigo
local.scopus.citations3
local.scopus.eid2-s2.0-85044963097
local.scopus.subjectBinary cellular automata
local.scopus.subjectDynamical behaviours
local.scopus.subjectDynamical equivalence
local.scopus.subjectEmergent behaviours
local.scopus.subjectEquivalence relations
local.scopus.subjectLocal transitions
local.scopus.subjectShift equivalence
local.scopus.subjectState variables
local.scopus.updated2024-05-01
local.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85044963097&origin=inward
Files