English
Related papers

Related papers: About Strongly Universal Cellular Automata

200 papers

In this paper, we prove that there is a weakly universal cellular automaton on the pentagrid with three states which is rotation invariant and which uses \`a la Moore neighbourhood. Moreover, at each step of the computation, the set of non…

Discrete Mathematics · Computer Science 2015-11-02 Maurice Margenstern

A cellular automaton with $n$ states may be used for construction of reversible second-order cellular automaton with $n^2$ states. Reversible cellular automata with hidden parameters discussed in this paper are generalization of such…

Cellular Automata and Lattice Gases · Physics 2014-03-25 Alexander Yu. Vlasov

Signals are a classical tool used in cellular automata constructions that proved to be useful for language recognition or firing-squad synchronisation. Particles and collisions formalize this idea one step further, describing regular nets…

Computational Complexity · Computer Science 2009-06-22 Nicolas Ollinger , Gaétan Richard

In this paper, we look at two ways to implement determinisitic one dimensional cellular automata into hyperbolic cellular automata in three contexts: the pentagrid, the heptagrid and the dodecagrid, these tilings being classically denoted…

Formal Languages and Automata Theory · Computer Science 2010-04-13 Maurice Margenstern

Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular…

Logic in Computer Science · Computer Science 2015-04-14 Nachum Dershowitz , Evgenia Falkovich

We discuss the role of classical control in the context of reversible quantum cellular automata. Employing the structure theorem for quantum cellular automata, we give a general construction scheme to turn an arbitrary cellular automaton…

Quantum Physics · Physics 2009-11-11 D. J. Shepherd , T. Franz , R. F. Werner

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

Number-conserving cellular automata (NCCA) are particularly interesting, both because of their natural appearance as models of real systems, and because of the strong restrictions that number-conservation implies. Here we extend the…

Cellular Automata and Lattice Gases · Physics 2007-05-23 Andres Moreira

We show that a behaviour analogous to degenerate hyperbolicity can occur in nearest-neighbour cellular automata (CA) with three states. We construct a 3-state rule by "lifting" elementary CA rule 140. Such "lifted" rule is equivalent to…

Cellular Automata and Lattice Gases · Physics 2015-06-23 Henryk Fukś , Joel Midgley-Volpato

Physical universality of a cellular automaton was defined by Janzing in 2010 as the ability to implement an arbitrary transformation of spatial patterns. In 2014, Schaeffer gave a construction of a two-dimensional physically universal…

Formal Languages and Automata Theory · Computer Science 2016-02-22 Ville Salo , Ilkka Törmä

This note is a survey of examples and results about cellular automata with the purpose of recalling that there is no 'universal' way of being computationally universal. In particular, we show how some cellular automata can embed efficient…

Computational Complexity · Computer Science 2021-12-03 Guillaume Theyssier

The emergence of complex behaviors in cellular automata is an area that has been widely developed in recent years with the intention to generate and analyze automata that produce space-moving patterns or gliders that interact in a periodic…

Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular…

Cellular Automata and Lattice Gases · Physics 2019-07-10 Sergio J. Martinez , Ivan M. Mendoza , Genaro J. Martinez , Shigeru Ninagawa

We propose a characteristic representation ofone-dimensional and 2-state, 3-neighbor cellular automaton rules, which describes an effective form of each rule after many time steps. Simulated results of the representation show that complex…

chao-dyn · Physics 2008-02-03 Y. Kayama , H. Anada , Y. Imamura , 9 pages

In this paper, we construct a weakly universal cellular automaton on the tessellation $\{8,3\}$ which is not rotation invariant but which is truly planar.

Discrete Mathematics · Computer Science 2016-07-22 Maurice Margenstern

In this work, the one-dimensional Cellular Automaton is extended to one that involves two sets of symbols and two global rules. As a main result, the Extended Curtis-Hedlund-Lyndon Theorem is demonstrated. Such constructions can be useful…

Cellular Automata and Lattice Gases · Physics 2025-02-25 Pouya Mehdipour , Mostafa Salarinoghabi , Paula Gibrim

Exactly ergodicity in boundary-driven semi-infinite cellular automata (CA) are investigated. We establish all the ergodic rules in CA with 3, 4, and 5 states. We analytically prove the ergodicity for 12 rules in 3-state CA and 118320 rules…

Cellular Automata and Lattice Gases · Physics 2026-04-13 Naoto Shiraishi , Shinji Takesue

Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours and a celebrated result is the existence of (intrinsically)…

Discrete Mathematics · Computer Science 2009-02-10 Laurent Boyer , Guillaume Theyssier

In this paper, we construct a weakly universal cellular automaton in the heptagrid, the tessellation $\{7,3\}$ which is not rotation invariant but which is truly planar. This result, under these conditions, cannot be improved for the…

Discrete Mathematics · Computer Science 2016-07-22 Maurice Margenstern

We investigate how increasing the dimension of the array can help to draw signals on cellular automata.We show the existence of a gap of constructible signals in any dimension. We exhibit two cellular automata in dimension 2 to show that…

Computational Complexity · Computer Science 2007-05-23 Jean-Christophe Dubacq , Veronique Terrier