Logo del repository
  1. Home
 
Opzioni

Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata

Dennunzio Alberto
•
Formenti Enrico
•
Manzoni Luca
altro
Porreca Antonio E.
2019
  • conference object

Abstract
We study the dynamical behavior of linear higher-order cellular automata (HOCA) over Z_ . In standard cellular automata the global state of the system at time t only depends on the state at time −1, while in HOCA it is a function of the states at time −1 , ..., −, where ≥1 is the memory size. In particular, we provide easy-to-check necessary and sufficient conditions for a linear HOCA over Z_of memory size n to be sensitive to the initial conditions or equicontinuous. Our characterizations of sensitivity and equicontinuity extend the ones shown in [23] for linear cellular automata (LCA) over Z^_ in the case =1. We also prove that linear HOCA over Z_of memory size n are indistinguishable from a subclass of LCA over Z^_. This enables to decide injectivity and surjectivity for linear HOCA over Z_ of memory size n by means of the decidable characterizations of injectivity and surjectivity provided in [2] and [20] for LCA over Z^_.
DOI
10.1007/978-3-030-13435-8_7
Archivio
http://hdl.handle.net/11368/2948002
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064050779
https://www.springer.com/series/558
Diritti
closed access
license:copyright editore
FVG url
https://arts.units.it/request-item?handle=11368/2948002
Soggetti
  • Linear Cellular Autom...

  • Cellular Automata

Scopus© citazioni
1
Data di acquisizione
Jun 7, 2022
Vedi dettagli
Visualizzazioni
1
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback