English
Related papers

Related papers: Computation and Universality: Class IV versus Clas…

200 papers

Cellular automata are a fundamental computational model with applications in mathematics, computer science, and physics. In this work, we explore the study of cellular automata to cases where the universe is a group, introducing the concept…

Group Theory · Mathematics 2025-02-27 Tawfiq Hamed , Mohammad Saleh

Quantum cellular automata consist in arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G. Moreover the global evolution G is required to be causal (it propagates…

Quantum Physics · Physics 2019-09-09 Pablo Arrighi

A novel two-state, Reversible Cellular Automata (RCA) is described. This three-dimensional RCA is shown to be capable of universal computation. Additionally, evidence is offered that this RCA Is capable of universal construction.

Cellular Automata and Lattice Gases · Physics 2007-05-23 Daniel B. Miller , Edward Fredkin

Based on computer simulations Wolfram presented in several papers conjectured classifications of cellular automata into 4 types. He distinguishes the 4 classes of cellular automata by the evolution of the pattern generated by applying a…

Logic · Mathematics 2016-09-07 John T. Baldwin , Saharon Shelah

Cellular automata are discrete dynamical systems and a model of computation. The limit set of a cellular automaton consists of the configurations having an infinite sequence of preimages. It is well known that these always contain a…

Formal Languages and Automata Theory · Computer Science 2014-02-18 Alex Borello , Julien Cervelle , Pascal Vanier

In this paper we present a systematic view of Quantum Cellular Automata (QCA), a mathematical formalism of quantum computation. First we give a general mathematical framework with which to study QCA models. Then we present four different…

Quantum Physics · Physics 2007-05-23 Carlos A. Perez-Delgado , Donny Cheung

Wolfram [2, p. 707] and Cook [1, p. 3] claim to prove that a (2,5) Turing machine (2 states, 5 symbols) is universal, via a universal cellular automaton known as Rule 110. The first part of this paper points out a critical gap in their…

Formal Languages and Automata Theory · Computer Science 2012-09-03 Dominic J. D. Hughes

Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant…

Quantum Physics · Physics 2025-07-28 Thiago L. M. Guedes , Don Winter , Markus Müller

Cellular automata have long been celebrated for their ability to generate complex behaviors from simple, local rules, with well-known discrete models like Conway's Game of Life proven capable of universal computation. Recent advancements…

Machine Learning · Computer Science 2025-05-22 Gabriel Béna , Maxence Faldor , Dan F. M. Goodman , Antoine Cully

We overview and compare classifications of elementary cellular automata, including Wolfram's, Wuensche's, Li and Packard, communication complexity, power spectral, topological, surface, compression, lattices, and morphological diversity…

Cellular Automata and Lattice Gases · Physics 2020-05-05 Genaro J. Martinez

Cellular automata (CAs) are dynamical systems which exhibit complex global behavior from simple local interaction and computation. Since the inception of cellular automaton (CA) by von Neumann in 1950s, it has attracted the attention of…

Formal Languages and Automata Theory · Computer Science 2024-01-17 Kamalika Bhattacharjee , Nazma Naskar , Souvik Roy , Sukanta Das

Cellular automata (CAs) are fully-discrete dynamical models that have received much attention due to the fact that their relatively simple setup can nonetheless express highly complex phenomena. Despite the model's theoretical maturity and…

Cellular Automata and Lattice Gases · Physics 2025-07-10 Michiel Rollier , Kallil M. C. Zielinski , Aisling J. Daly , Odemir M. Bruno , Jan M. Baetens

We give a one-dimensional quantum cellular automaton (QCA) capable of simulating all others. By this we mean that the initial configuration and the local transition rule of any one-dimensional QCA can be encoded within the initial…

Quantum Physics · Physics 2008-12-10 Pablo Arrighi , Renan Fargetton , Zizhu Wang

It is speculated that there is a relationship between 1/f noise and computational universality in cellular automata. We use genetic algorithms to search for one-dimensional and two-state, five-neighbor cellular automata which have 1/f-type…

Cellular Automata and Lattice Gases · Physics 2013-07-19 Shigeru Ninagawa

This paper studies three classes of cellular automata from a computational point of view: freezing cellular automata where the state of a cell can only decrease according to some order on states, cellular automata where each cell only makes…

Discrete Mathematics · Computer Science 2022-01-27 Nicolas Ollinger , Guillaume Theyssier

Cellular automata on the triangular grid are here referred to as Triangular Automata (TA). This paper focuses on the simplest class of TA, called Elementary Triangular Automata (ETA). They are argued to be the two-dimensional counterpart of…

Cellular Automata and Lattice Gases · Physics 2025-11-11 Paul Cousin

We introduce a formal definition of Wolfram's notion of computational process based on cellular automata, a physics-like model of computation. There is a natural classification of these processes into decidable, intermediate and complete.…

Computational Complexity · Computer Science 2009-06-18 Klaus Sutner

Describing complex phenomena by means of cellular automata (CA) has shown to be a very effective approach in pure and applied sciences. In fact, the number of published papers concerning this topic has tremendously increased over the last…

Cellular Automata and Lattice Gases · Physics 2012-06-13 Luan Carlos de Sena Monteiro Ozelim , André Luís Brasil Cavalcante , Lucas Parreira de Faria Borges

Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical…

Computational Complexity · Computer Science 2007-05-23 Jean-Charles Delvenne , Petr Kurka , Vincent Blondel

Cellular automata (CA) have been utilized for decades as discrete models of many physical, mathematical, chemical, biological, and computing systems. The most widely known form of CA, the elementary cellular automaton (ECA), has been…

Cellular Automata and Lattice Gases · Physics 2013-10-15 Lucas Kang