# A Concrete View of Rule 110 Computation

@inproceedings{Cook2008ACV, title={A Concrete View of Rule 110 Computation}, author={Matthew Cook}, booktitle={CSP}, year={2008} }

Rule 110 is a cellular automaton that performs repeated simultaneous updates of an infinite row of binary values. The values are updated in the following way: 0s are changed to 1s at all positions where the value to the right is a 1, while 1s are changed to 0s at all positions where the values to the left and right are both 1. Though trivial to define, the behavior exhibited by Rule 110 is surprisingly intricate, and in (Cook, 2004) we showed that it is capable of emulating the activity of a…

## 34 Citations

### The complexity of small universal Turing machines: A survey

- Computer ScienceTheor. Comput. Sci.
- 2009

### Computational determinacy of cellular automata

- Computer Science
- 2020

An algorithm is proposed that converts any general multi-dimensional cellular automata to an equivalent λ -expression, and the achievement of this scheme is that an arrival to a ”computational-cum-symbolic” representation of the solution to an partial diﬀerential equation is introduced.

### Reversible Cellular Automata

- Computer ScienceHandbook of Natural Computing
- 2009

In this chapter, methods of simulating irreversible CAs by reversible ones, and of constructing PCAs from reversible logic elements are shown.

### Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos

- Computer SciencePhysics of life reviews
- 2019

### Universality in Infinite Petri Nets

- Computer ScienceMCU
- 2015

Two Petri nets are constructed which simulate the linear cellular automa- ton Rule 110 via expanding traversals of the cell array via direct simulation of the cellular automaton and are concluded to be Turing-complete and run in polyno- mial time.

### Wolfram's Classification and Computation in Cellular Automata Classes III and IV

- Computer ScienceArXiv
- 2012

It is shown that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing universality.

### Impartial games emulating one-dimensional cellular automata and undecidability

- Computer ScienceJ. Comb. Theory, Ser. A
- 2013

### A Computation in a Cellular Automaton Collider Rule 110

- Computer ScienceArXiv
- 2016

This work shows how a computation can be performed on the collider by exploiting interactions between gliders (particles, localisations) and proposes constructions based on universality of elementary cellular automaton rule 110, cyclic tag systems, supercolliders, and computing on rings.

### On Soliton Collisions between Localizations in Complex Elementary Cellular Automata: Rules 54 and 110 and Beyond

- Computer ScienceComplex Syst.
- 2012

A specific ECA with memory (ECAM), the ECAM Rule $\phi_{R9maj:4}$, that displays single-soliton solutions from any initial codification for a kind of mobile self-localization because such automaton is able to adjust any initial condition to soliton structures.

## References

SHOWING 1-10 OF 12 REFERENCES

### Universality in Elementary Cellular Automata

- Computer ScienceComplex Syst.
- 2004

The purpose of this paper is to prove that one of the simplest one dimensional cellular automata is computationally universal, implying that many questions concerning its behavior, such as whether a…

### Universality of Tag Systems with P = 2

- MathematicsJACM
- 1964

The representation of the Turing machine in the present system has a lower degree of exponentiation, which may be of significance in applications, and these systems seem to be of value in establishing unsolvability of combinatorial problems.

### A new kind of science

- Computer Science
- 2002

A New Kind of Science, written and published by Stephen Wolfram, is the outcome of the studies he conducted systematically upon cellular automata, a class of computer model which may be visualized as a set of memory locations, each containing one bit.

### P-completeness of Cellular Automaton Rule 110

- Computer ScienceICALP
- 2006

It is shown that the problem of predicting t steps of the 1D cellular automaton Rule 110 is P-complete and the small universal Turing machines of Mathew Cook run in polynomial time, this is an exponential improvement on their previously known simulation time overhead.

### Small Weakly Universal Turing Machines

- Computer ScienceFCT
- 2009

These machines are weakly universal, which means that they have an infinitely repeated word to the left of their input and another to the right, and are currently the smallest knownWeakly universal Turing machines.

### On the time complexity of 2-tag systems and small universal Turing machines

- Computer Science2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06)
- 2006

We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing machines in polynomial…

### The 2-symbol Turing machine simulating Rul e 110 requires only 7 states

- (personal communication)
- 1998

### A tag system for the 3x+1 problem

- (personal c ommunication)
- 2003