English
Related papers

Related papers: Cellular automata on regular rooted trees

200 papers

We introduce a model of register automata over infinite trees with extrema constraints. Such an automaton can store elements of a linearly ordered domain in its registers, and can compare those values to the suprema and infima of register…

Logic in Computer Science · Computer Science 2023-06-22 Szymon Toruńczyk , Thomas Zeume

We show that a cellular automaton (or shift-endomorphism) on a transitive subshift is either almost equicontinuous or sensitive. On the other hand, we construct a cellular automaton on a full-shift (hence a transitive subshift) that is…

Dynamical Systems · Mathematics 2023-06-22 Luguis de los Santos Baños , Felipe García-Ramos

In this paper, we give a Nivat-like characterization for weighted alternating automata over commutative semirings (WAFA). To this purpose we prove that weighted alternating can be characterized as the concatenation of weighted finite tree…

Formal Languages and Automata Theory · Computer Science 2021-09-20 Gustav Grabolle

This study introduces Skewed Fully Asynchronous Cellular Automata (SACA), a novel update scheme in cellular automata that updates the states of only two consecutive and adjacent cells, such as ci and ci+1, simultaneously at each time step.…

Formal Languages and Automata Theory · Computer Science 2025-01-07 Virendra Kumar Gautam

Cellular automata are widely used to model natural or artificial systems. Classically they are run with perfect synchrony, i.e., the local rule is applied to each cell at each time step. A possible modification of the updating scheme…

Cellular Automata and Lattice Gases · Physics 2008-02-13 Nazim A. Fatès

We study the existence of algebras of hypercyclic vectors for weighted backward shifts on sequence spaces of directed trees with the coordinatewise product. When $V$ is a rooted directed tree, we show the set of hypercyclic vectors of any…

Functional Analysis · Mathematics 2024-11-25 Arafat Abbar , Fernando Costa

A data tree is an unranked ordered tree whose every node is labelled by a letter from a finite alphabet and an element ("datum") from an infinite set, where the latter can only be compared for equality. The article considers alternating…

Logic in Computer Science · Computer Science 2010-06-15 Marcin Jurdzinski , Ranko Lazic

Probabilistic Cellular Automata are extended stochastic systems, widely used for modelling phenomena in many disciplines. The possibility of controlling their behaviour is therefore an important topic. We shall present here an approach to…

Cellular Automata and Lattice Gases · Physics 2024-03-07 Franco Bagnoli , Sara Dridi , Samira El Yacoubi , Raul Rechtman

Complexity has been a recurrent research topic in cellular automata because they represent systems where complex behaviors emerge from simple local interactions. A significant amount of previous research has been conducted proposing…

Cellular Automata (CA), as they are presented in the literature, are abstract mathematical models of computation. In this pa- per we present an alternate approach: using the CA as a model or theory of physical systems and devices. While…

Discrete Mathematics · Computer Science 2008-09-11 Donny Cheung , Carlos A. Perez-Delgado

We investigate cellular automata where some global quantity varies periodically or quasiperiodically with time. We find that these systems are highly predictable, and can be rather well described by a set of mean-field variables. We…

Condensed Matter · Physics 2009-10-22 Jan Hemmingsson , Hans J. Herrmann

Cellular automata are one-dimensional arrays of interconnected interacting finite automata. We investigate one of the weakest classes, the real-time one-way cellular automata, and impose an additional restriction on their inter-cell…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Martin Kutrib , Andreas Malcher

Assorted weighted shifts over finite rooted directed trees are studied. Their complex symmetry is characterized.

Functional Analysis · Mathematics 2025-10-23 Piotr Budzyński

Cellular automata provide a fascinating class of dynamical systems capable of diverse complex behavior. These include simplified models for many phenomena seen in nature. Among other things, they provide insight into self-organized…

High Energy Physics - Lattice · Physics 2008-02-03 Michael Creutz

We apply the methods of lattice field theories to the quantization of cellular automata. We discuss the quantization of five main categories of cellular automata: bosonic, fermionic, supersymmetric, spin and quantum dot using path integral…

Quantum Physics · Physics 2007-05-23 Michael McGuigan

In this paper, under certain conditions we consider two-dimensional cellular automata with the Moore neighborhood. Namely, the characterization of 2D linear cellular automata defined by the Moore neighborhood with some mixed boundary…

Dynamical Systems · Mathematics 2024-06-11 B. A. Omirov , Sh. B. Redjepov , J. B. Usmonov

In this paper, we study certain dynamical properties of dill maps, a class of functions introduced in~\cite{salo2015block} that generalizes both cellular automata and substitutions. In particular, we prove that surjective uniform dill maps…

Dynamical Systems · Mathematics 2025-06-03 Firas Ben Ramdhane

Cellular automata represent physical systems where both space and time are discrete, and the associated physical quantities assume a limited set of values. While previous research has applied cellular automata in modeling chemical,…

Cellular Automata and Lattice Gases · Physics 2024-10-30 Temitayo Adefemi

Cellular automata are discrete and computational models thatcan be shown as general models of complexity. They are used in varied applications to derive the generalized behavior of the presented model. In this paper we have took one such…

Neural and Evolutionary Computing · Computer Science 2020-05-14 Karan Nayak

The following problem is shown undecidable: given regular languages L,K of finite trees, decide if there exists a deterministic tree-walking automaton which accepts all trees in L and rejects all trees in K. The proof uses a technique of…

Logic in Computer Science · Computer Science 2017-03-21 Mikołaj Bojańczyk